http://habrahabr.ru/rss/post/57503/ ru editor@habrahabr.ru habrahabr.ru Sat, 11 Feb 2012 12:57:11 GMT http://habrahabr.ru/ http://habrahabr.ru/i/logo.gif http://habrahabr.ru/blogs/net/57503/#comment_1547303 http://habrahabr.ru/blogs/net/57503/#comment_1547303 Sat, 18 Apr 2009 08:00:24 GMT butaji http://habrahabr.ru/blogs/net/57503/#comment_1545097 http://habrahabr.ru/blogs/net/57503/#comment_1545097 Fri, 17 Apr 2009 14:16:56 GMT XaocCPS http://habrahabr.ru/blogs/net/57503/#comment_1544978 http://habrahabr.ru/blogs/net/57503/#comment_1544978 Fri, 17 Apr 2009 13:52:42 GMT khayrov http://habrahabr.ru/blogs/net/57503/#comment_1544839 http://habrahabr.ru/blogs/net/57503/#comment_1544839
AFAIK компиляторы многих функциональных языков так и поступают. Так можно легко получить call/cc, например.]]> Fri, 17 Apr 2009 13:24:16 GMT chiaroscuro http://habrahabr.ru/blogs/net/57503/#comment_1544774 http://habrahabr.ru/blogs/net/57503/#comment_1544774 Fri, 17 Apr 2009 13:14:03 GMT lomeo http://habrahabr.ru/blogs/net/57503/#comment_1544765 http://habrahabr.ru/blogs/net/57503/#comment_1544765 Fri, 17 Apr 2009 13:12:22 GMT lomeo http://habrahabr.ru/blogs/net/57503/#comment_1544716 http://habrahabr.ru/blogs/net/57503/#comment_1544716 traditio.ru/wiki/Катаморфизм]]> Fri, 17 Apr 2009 13:02:48 GMT lomeo http://habrahabr.ru/blogs/net/57503/#comment_1544416 http://habrahabr.ru/blogs/net/57503/#comment_1544416 что ж, чудеса в нашем мире случаются нечасто :)]]> Fri, 17 Apr 2009 11:33:37 GMT Meroving http://habrahabr.ru/blogs/net/57503/#comment_1544351 http://habrahabr.ru/blogs/net/57503/#comment_1544351
Но думаю, что стоит добавить при переходе от левосторонней свертке к правосторонней, что мы все равно и по любому теряем в памяти: fold_left бежит по списку и применяет функцию, а fold_right бежит по списку, запоминает его, а затем бежит обратно и применяет функцию. Просто в первом случае он запоминает его в стеке, а во втором в куче, но порядок расхода памяти одинаковый — чуда нет. При работе с деревом так же создается его копия.]]> Fri, 17 Apr 2009 11:23:17 GMT shai_xylyd http://habrahabr.ru/blogs/net/57503/#comment_1544266 http://habrahabr.ru/blogs/net/57503/#comment_1544266 Fri, 17 Apr 2009 11:09:49 GMT VoidEx http://habrahabr.ru/blogs/net/57503/#comment_1543903 http://habrahabr.ru/blogs/net/57503/#comment_1543903 к слову, отличие reduce от fold лично меня немного смущает. только то, что в reduce тип аккумулятора должен совпадать с типом элемента коллекции?]]> Fri, 17 Apr 2009 10:14:30 GMT Meroving http://habrahabr.ru/blogs/net/57503/#comment_1543890 http://habrahabr.ru/blogs/net/57503/#comment_1543890 Fri, 17 Apr 2009 10:11:38 GMT butaji http://habrahabr.ru/blogs/net/57503/#comment_1543870 http://habrahabr.ru/blogs/net/57503/#comment_1543870 Спасибо за статью, надо сделать ещё один набег на бананы с колючей проволокой.]]> Fri, 17 Apr 2009 10:08:49 GMT khayrov http://habrahabr.ru/blogs/net/57503/#comment_1543627 http://habrahabr.ru/blogs/net/57503/#comment_1543627
myList |> Seq.of_list |> Seq.reduce (fun x y -> x + y)]]> Fri, 17 Apr 2009 09:35:05 GMT mezastel http://habrahabr.ru/blogs/net/57503/#comment_1543309 http://habrahabr.ru/blogs/net/57503/#comment_1543309 спасибо]]> Fri, 17 Apr 2009 08:44:52 GMT XaocCPS http://habrahabr.ru/blogs/net/57503/#comment_1543271 http://habrahabr.ru/blogs/net/57503/#comment_1543271 Fri, 17 Apr 2009 08:38:58 GMT Meroving http://habrahabr.ru/blogs/net/57503/#comment_1543251 http://habrahabr.ru/blogs/net/57503/#comment_1543251
А о чем еще писать? Очередное «я вот напейсал вот такой быдлокод, зацените результаты воздействия синдрома туннельного зрения»? (конечно, не все статьи на хабре такие, но много.)

/me ушел негодовать.

> Она ровно это и делает — функция sprintf — это и есть «печать в строку», так что функция Printer имеет тип Expr -> string :)

Млин, я уже путаю printf и sprintf! O_O]]> Fri, 17 Apr 2009 08:36:25 GMT chiaroscuro http://habrahabr.ru/blogs/net/57503/#comment_1543190 http://habrahabr.ru/blogs/net/57503/#comment_1543190 вообще h, t — это обычно head и tail, r, l — right и left]]> Fri, 17 Apr 2009 08:23:15 GMT Meroving http://habrahabr.ru/blogs/net/57503/#comment_1543180 http://habrahabr.ru/blogs/net/57503/#comment_1543180 — Нельзя ли как-нибудь убрать побочные эффекты из Printer? (Пусть возвращает строку, которую затем можно будет вывести куда угодно.)
— Она ровно это и делает — функция sprintf — это и есть «печать в строку», так что функция Printer имеет тип Expr -> string :)]]> Fri, 17 Apr 2009 08:20:49 GMT Meroving http://habrahabr.ru/blogs/net/57503/#comment_1543172 http://habrahabr.ru/blogs/net/57503/#comment_1543172 но в вышеприведенном коде такой подход — везде, я про это и спросил, поскольку с языком практически не знаком, а пытаться разобраться на сплошных r, t, e, l — просто не могу]]> Fri, 17 Apr 2009 08:19:07 GMT XaocCPS http://habrahabr.ru/blogs/net/57503/#comment_1543160 http://habrahabr.ru/blogs/net/57503/#comment_1543160 Переменные в лямбдах вообще обычно одним или двумя символами обозначают. Ну собственно, так же как и for (int i = 0… )]]> Fri, 17 Apr 2009 08:15:57 GMT Meroving http://habrahabr.ru/blogs/net/57503/#comment_1543041 http://habrahabr.ru/blogs/net/57503/#comment_1543041 Fri, 17 Apr 2009 07:31:40 GMT chiaroscuro http://habrahabr.ru/blogs/net/57503/#comment_1543039 http://habrahabr.ru/blogs/net/57503/#comment_1543039
Нельзя ли как-нибудь убрать побочные эффекты из Printer? (Пусть возвращает строку, которую затем можно будет вывести куда угодно.) Наверняка там (в F#) есть какой-нибудь «монадический катаморфизм» + монада Writer.

> P.S. Не знаю, стоит ли переносить в какой-то коллективный блог, все-таки тема специфическая.

Ну конечно стоит. Катаморфизм полезен же!

Следующая статья, наверное, будет о zipper'ах? :) Тоже очень полезная штука.]]> Fri, 17 Apr 2009 07:30:50 GMT chiaroscuro http://habrahabr.ru/blogs/net/57503/#comment_1543029 http://habrahabr.ru/blogs/net/57503/#comment_1543029 Fri, 17 Apr 2009 07:27:04 GMT XaocCPS