> modularity means more than modules
https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf
https://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf
-- не тупая критика лиспа в качестве яп для обучения андерградов программированию
хочу sicp с haskell вместо scheme
Какой функциональный язык лучше изучать, если задача стоит не перед посанами повыебываться, "смотрите какие катаморфизмы, параморфизмы, у меня тут монадки хуе-мое, вы так не сможете" и не для какого-то там абстрактного расширения кругозора, а чтобы на этом языке можно было б зарабатывать, чтоб был спрос на людей, которые этим языком владеют, и зарплаты норм?
Накидайте ссылок с блогами, списками рассылок и прочими твиттерами и awesome-листами про ФП, а то нормальных сабреддитов на эту тему нет, а языкоспецифичные слишком языкоспецифичны.
#9GVIXN
(2)
/ @anonymous / 3161 день назад
Писал сырой stg. Стал let … in-блядью. :( Что теперь делать?
#7SHDKM
(0)
/ @ndtimofeev / 3400 дней назад
ФП оккупировано учоными и хеллоувордистами, часто в одном лице.
Они говорят "ФП лучше для оптимизации", а сами забили на оптимизатор, потому что экстенсивно долбить оптимизатор - это скучный и бесконечный процесс.
Они говорят "ФП лучше для рефакторинга" - и для Хаскеля нет аналогов IDEA, есть говноподелка HaRe под емакс, которой никто, кроме емаксодрочеров, не может воспрользоваться, которая многие годы (после "диссертации") лежала гнила. И даже обычные IDE только недавно стали юзабельными (ака вышли из альфы по качеству).
Они говорять "ФП лучше для параллелизации" - и точно также все эти 100500 библиотек и компиляторов не выходят из альфы. Более-менее зрелый - только рантайм GHC, который низкоуровневый и которому 10 лет в обед - никакой тебе полиэдрической компиляции и GPU и т.д.
А на бумаге да, "ФП лучше". Но пока худшие впереди.
---
http://nponeccop.livejournal.com/453586.html
(via avkarpich) Вдруг кто-нибудь захочет в Москве пописать на Isabelle/HOL -- https://www.linux.org.ru/forum/job/11244226
Только недавно узнал, что нельзя просто так поехать в сраную сша'шку и сказать "я хочу тут жыдь" (и работать камлоёбом, например).
При том количестве говна, которое у них уже есть.
И при том качестве меня, которое у меня уже давно есть.
Непонятно.
Или понятно? Аргументируйте.
http://homes.cs.washington.edu/~jrw12/dep-destruct.html -- грамотно про dependent destruction.
https://bitbucket.org/gds/ocaml_incrcomp/src/tip/lib/incrcomp.mli
Суть токова: меня достало то, что нужно уметь простые типа-ленивые вычисления, но с умным перевычислением, если что изменилось, но при взгляде на frp / react как-то всё падает.
Я кое-кому говорил, что уложусь в 10 строчек велосипеда -- так вот, ошибся, но потому, что хотел сделать относительно общо. Получилось вроде миленько, однако, прошу, покритикуйте идею, апи, инглиш, да и всё вообще. Моё ниасиляторство react'а, например, тоже можно.
Таки дошли руки до симуляции перегрызенного кабеля (спрашивал в #TP2TNF).
Хорошо иногда бывает параметризовать код IO-манаткой. Получилось так: https://gist.github.com/gdsfh/c0aa2733a6d09b49f894 . Работает замечательно. Благодаря fail_seed можно получать детерминированные фейлы, что помогает при отладке.
А отладка заключалась в том, что Lwt.join как-то странно себя ведёт. В документации сказано "падает, если какой-то из тредов падает", тогда как в реальном случае висит: http://pastebin.com/scLnbQ2A . Вотзефак?
[..] мне доводилось писать код, но это было во времена моей далекой юности. [..] И работал программистом где-то до 2004 года [..] после 2004 года профессионально разработкой я уже не занимался.
я могу себя описать как «человек, написавший много книг по функциональному программированию и нескольким смежным темам»
"И всё у них так".
@wm 30 Dec 2009
i love functional programming. it takes smart people who would otherwise be competing with me and turns them into unemployable crazies
#6X7JNL
(6+2)
/ @ninesigns / 3865 дней назад
"Сама философия статической типизации, что программа - это окаменевший кусок говна, с полностью зафиксированными относительно друг друга, ригидными частями, дефективна и показывает однобокость мышления аутистов-полудурков, живущих на гранты и разрабатывающих теории типов. "
" Сам процесс взаимодействия с компилятором статического языка имеет зачастую необратимый эффект на психику человека. Этот эффект похож на последствия длительного сабмиссивного общения с авторитарным и жестоким человеком. Любой человек, писавший много лет на статическом языке приходит в ужас от взаимодействия с динамическим языком. "
#2AWI2R
(16+4)
/ @ninesigns / 4066 дней назад
Цоперайт © 2010-2016 @stiletto.