"thunk" / "deferred computation" — "личинка вычисления".
Соответственно, при использовании лентяйки программа откладывает в память личинки вычислений.
//
"use" — "использование". "abuse" — "извредствование"?
*fp
Зарелизил мелкую библиотечку для отладки редукций выражений в пределах coq: https://bitbucket.org/gds/coq-breakpoint...
Наша редакция рада ответить на просьбу господина @ulidtko, изложенную в http://amd63.psto.net/tsfgse#123 , нижеследующим куском кода: https://gist.github.com/gdsfh/7140f41aca...
Там в каментах я показал, во что экстрактится всё это безобразие. Как обычно, все пруф-термы стёрты, остались только ... more →
http://udpn.livejournal.com/95628.html
И я даже знаю, что именно автор делает не так. Но никому не скажу!
Подскажите, пожалуйста, можно ли где-то найти книгу Окасаки (Chris Okasaki — Purely Functional Data Structures) в удобном для чтения, скажем, на андроид-таблетке виде? Или объясните различие между тезисом и книгой, заключается ли оно только в последних нескольких главах, или основной материал тоже.
Нашёл в ... more →
<plhk> кложура меня пугает, потому шо jvm
<plhk> как и скала, в общем-то
<dca> ну это нормально
<dca> все равно в тырпрайзе жаба
<dca> то есть можно заюзать фп в риллайфе, написав кусок на кложуре\скале и
сказав начальству, что ты просто заюзал новомодную либу жабы.
<dca> а то максимум у всех хацкели в ... more →
"
This reminds me of a funny event at the Haskell workshop 2006. One participant stood up and sincerely proposed that Haskell' standard would find a way to automatically derive a monadic version of a pure expression. Chung-chieh Shan recommended that person to take a look at OCaml...
"
(уже второй раз лезу за этой ... more →
Как раз после того как это существо выперли из библиотеки занюханного провинциального НИИЧАВО, откуда он на весь LOR тявкал, он отчаянно пытался найти работу программистом. К нам вот приходил на собеседование, претендовал на роль Java-программиста. Junior, конечно же. Это был цирк! Попросил его написать метод, ... more →
"Давно не брал я в руки шашек" http://www.fprog.ru/2009/issue1/dmitry-a...
Впринципе, как от SICP, так и от этой статьи впечатление такое, что тотальное проектирование "сверху вниз" как-то мне не даётся совершенно. Читаешь, и ощущение, что тебя обманывают, т.к. вроде бы и всё честно и понятно, а вроде ... more →
То ли я чего-то не понимаю, но почему всякие хаскели и скалы пишут квиксорт примерно таким образом?
def sortList(list: List[Int]): List[Int] = list match {
case Nil => Nil
case head :: tail => sortList(tail.filter(_ < head)) ::: head :: sortList(tail.filter(_ >= head))
}
В смысле, разве этот .filter() ... more →
ITT пишем программу на хаскелле, которая спрашивает число от 0 до 9, затем сверяет его со случайным числом из того же диапозона, и выдаёт равны они или нет.
Оказалось, что, чтобы правильно писать функции высшего порядка, достаточно про себя проговорить математическую формулировку а-ля, "Если для множества s существует такое x, что f(x) принадлежит s, то возвращаем вот это вот" и записать.
Осталось поправить IDE, чтобы писать прямо нормальной математической записью.
Прослушал лекции по ФП за вторую неделю. Написал реализацию множеств и операций на фукциях высшего порядка на scala.
Кажется, я начинаю понимать суть хаскелля. Скала — это же хаскель поверх жабы. Но жаба говно и не нужна, а ФП годное и нужно.
Надо изучить хаскель.
Постил в камлочятик, но запощу и тут.
Есть вероятность, что Олег будет давать интервью. Можно повлиять на вопросы. Присылайте мне, я передам куданадо.
Вопрос про то, не жмёт ли ему череп, я задать хотел бы, но это некультурно. Вопрос про будущее метаокамла уже скинул. Вопрос про субъективное сравнение языков с ... more →
Одна из цитат недели по версии Haskell Weekly News (выпуск 239):
> romm: i thought i knew programming. this is like discovering a new continent.
Посмотрите, сколько static typing-проблем в этом треде: http://www.coyotos.org/pipermail/bitc-de...
System F как неподходящая система типов, проблемы с ad-hoc полиморфизмом и typeclasses, избегание subtyping, and more!
*fp is used by:
gds
gds
16+
238328
4DA
4da
профессиональный говноед
ulidtko
kb
kb
Evgeny I. E. Omelchenko
Elemir
Crazy_Owl
Crazy_Owl
Александр Марков
komar
Darth Bricktop
Like-all
svtk
svtk
asmer
asmer
Minoru
Minoru
Malerin
Malerin
gelraen
gelraen
Оранжевус Охуеннус
utros
Octocat
octocat
gds
238328
4da
ulidtko
kb
Elemir
Crazy_Owl
komar
Like-all
svtk
asmer
Minoru
Malerin
gelraen
utros
octocat