Re[5]: [C#] Таки State Monad
От: lomeo Россия http://lomeo.livejournal.com/
Дата: 20.11.09 16:56
Оценка:
Здравствуйте, VladD2, Вы писали:

VD>Елы-палы. Получается без пяти минут статься.


Я в fprog всё никак не допишу
Re[6]: [C#] Таки State Monad
От: VladD2 Российская Империя www.nemerle.org
Дата: 20.11.09 17:48
Оценка:
Здравствуйте, lomeo, Вы писали:

VD>>Елы-палы. Получается без пяти минут статься.


L>Я в fprog всё никак не допишу


Ты уже почти все написал, что нужно.

Добавь введение описывающие смысл вопроса и перепиши примеры на том же C# чтобы большей аудитории было понятно происходящее (можно конечно и без этого) и пришли на submit@rsdn.ru или мне. С редактурой мы поможем, если что...
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[18]: Самотест на понимание монад
От: Пельмешко Россия blog
Дата: 20.11.09 19:37
Оценка: 4 (1)
Здравствуйте, Jack128, Вы писали:

D>>поправка, если использовать member constraints, то извернутся можно

D>>
D>>    (^b :  (member Return : ^v -> ^mv) (b, v)) // А что это такое и где об этом мона почитать???
D>>


Это "Explicit member constraint", поподробнее узнать можно здесь:
http://codebetter.com/blogs/matthew.podwysocki/archive/2009/09/27/generically-constraining-f-part-ii.aspx
Re[19]: Самотест на понимание монад
От: Jack128  
Дата: 05.12.09 19:33
Оценка:
Здравствуйте, Пельмешко, Вы писали:

П>Здравствуйте, Jack128, Вы писали:


D>>>поправка, если использовать member constraints, то извернутся можно

D>>>
D>>>    (^b :  (member Return : ^v -> ^mv) (b, v)) // А что это такое и где об этом мона почитать???
D>>>


П>Это "Explicit member constraint", поподробнее узнать можно здесь:

П>http://codebetter.com/blogs/matthew.podwysocki/archive/2009/09/27/generically-constraining-f-part-ii.aspx

Вообще замечательный блог. Еще раз спасибо.
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.