*FP

gds 26.03.2013 22:32

"thunk" / "deferred computation" — "личинка вычисления".
Соответственно, при использовании лентяйки программа откладывает в память личинки вычислений.
//
"use" — "использование". "abuse" — "извредствование"?

gds 20.03.2013 17:25

Зарелизил мелкую библиотечку для отладки редукций выражений в пределах coq: https://bitbucket.org/gds/coq-breakpoint...

coq, cs, fp
gds 18.03.2013 11:44

Наша редакция рада ответить на просьбу господина @ulidtko, изложенную в http://amd63.psto.net/tsfgse#123 , нижеследующим куском кода: https://gist.github.com/gdsfh/7140f41aca...
Там в каментах я показал, во что экстрактится всё это безобразие. Как обычно, все пруф-термы стёрты, остались только ... more →

coq, cs, fp, it, ocaml
gds 02.03.2013 08:35

http://udpn.livejournal.com/95628.html
И я даже знаю, что именно автор делает не так. Но никому не скажу!

238328 02.02.2013 13:52

Почему никто не возьмёт и не сделает нормальный функциональный язык?

fp
kb 31.01.2013 06:31

Подскажите, пожалуйста, можно ли где-то найти книгу Окасаки (Chris Okasaki — Purely Functional Data Structures) в удобном для чтения, скажем, на андроид-таблетке виде? Или объясните различие между тезисом и книгой, заключается ли оно только в последних нескольких главах, или основной материал тоже.

Нашёл в ... more →

4da 08.01.2013 02:06

<plhk> кложура меня пугает, потому шо jvm
<plhk> как и скала, в общем-то
<dca> ну это нормально
<dca> все равно в тырпрайзе жаба
<dca> то есть можно заюзать фп в риллайфе, написав кусок на кложуре\скале и
сказав начальству, что ты просто заюзал новомодную либу жабы.
<dca> а то максимум у всех хацкели в ... more →

gds 07.01.2013 18:54

"
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 →

4da 24.12.2012 19:26

Как раз после того как это существо выперли из библиотеки занюханного провинциального НИИЧАВО, откуда он на весь LOR тявкал, он отчаянно пытался найти работу программистом. К нам вот приходил на собеседование, претендовал на роль Java-программиста. Junior, конечно же. Это был цирк! Попросил его написать метод, ... more →

kb 06.12.2012 14:00

"Давно не брал я в руки шашек" http://www.fprog.ru/2009/issue1/dmitry-a...

Впринципе, как от SICP, так и от этой статьи впечатление такое, что тотальное проектирование "сверху вниз" как-то мне не даётся совершенно. Читаешь, и ощущение, что тебя обманывают, т.к. вроде бы и всё честно и понятно, а вроде ... more →

svtk 23.11.2012 09:27

Короче, ехал сегодня в маршрутке, так водила был вылитый Мартин

kb 16.10.2012 09:09

То ли я чего-то не понимаю, но почему всякие хаскели и скалы пишут квиксорт примерно таким образом?

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 →

fp
Like-all 08.10.2012 06:32

Дождался! Функционанизм в bash → http://habrahabr.ru/post/153785/

238328 29.09.2012 15:00

ITT пишем программу на хаскелле, которая спрашивает число от 0 до 9, затем сверяет его со случайным числом из того же диапозона, и выдаёт равны они или нет.

Rayslava 26.09.2012 18:12

Оказалось, что, чтобы правильно писать функции высшего порядка, достаточно про себя проговорить математическую формулировку а-ля, "Если для множества s существует такое x, что f(x) принадлежит s, то возвращаем вот это вот" и записать.
Осталось поправить IDE, чтобы писать прямо нормальной математической записью.

Rayslava 26.09.2012 16:00

Прослушал лекции по ФП за вторую неделю. Написал реализацию множеств и операций на фукциях высшего порядка на scala.
Кажется, я начинаю понимать суть хаскелля. Скала — это же хаскель поверх жабы. Но жаба говно и не нужна, а ФП годное и нужно.
Надо изучить хаскель.

gds 08.09.2012 14:34

Постил в камлочятик, но запощу и тут.
Есть вероятность, что Олег будет давать интервью. Можно повлиять на вопросы. Присылайте мне, я передам куданадо.
Вопрос про то, не жмёт ли ему череп, я задать хотел бы, но это некультурно. Вопрос про будущее метаокамла уже скинул. Вопрос про субъективное сравнение языков с ... more →

Minoru 09.08.2012 08:12

Одна из цитат недели по версии Haskell Weekly News (выпуск 239):

> romm: i thought i knew programming. this is like discovering a new continent.

Like-all 16.06.2012 21:14

"Функционанизм"
Inspired by #onihen

gds 29.05.2012 19:28

К нам сегодня заходил
Лиспомакроскобкофил,
Он межушным поролоном
Типизацию хулил.

Malerin 24.05.2012 07:38

Нашла себе ноты. Буду учить. Разнообразие!

ulidtko 26.03.2012 11:29

Посмотрите, сколько 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

kb

kb

Crazy_Owl

Crazy_Owl

Darth Bricktop

Like-all

Rayslava

svtk

svtk

asmer

asmer

Minoru

Minoru

Malerin

Malerin

gelraen

gelraen

Octocat

octocat