Мохнатые уроды и моральные пёзды. Войти !bnw Сегодня Клубы
Привет, TbI — HRWKA! 1116.4 пользователей не могут ошибаться!
?6346
прекрасное6044
говно5786
говнорашка5168
хуита4110
anime2844
linux2476
bnw2406
music2310
log2082
рашка2032
pic1881
ололо1774
быдло1419
украина1376
сталирасты1300
гімно1154
дыбр1139
роботы_не_одобряют1005
bnw_ppl957

#AG96PD (31) / @tempest / 42 дня назад
https://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf -- не тупая критика лиспа в качестве яп для обучения андерградов программированию хочу sicp с haskell вместо scheme
#WCXKD7 (2) / @tempest / 58 дней назад
Какой функциональный язык лучше изучать, если задача стоит не перед посанами повыебываться, "смотрите какие катаморфизмы, параморфизмы, у меня тут монадки хуе-мое, вы так не сможете" и не для какого-то там абстрактного расширения кругозора, а чтобы на этом языке можно было б зарабатывать, чтоб был спрос на людей, которые этим языком владеют, и зарплаты норм?
#8FMH81 (38) / @j123123 / 1067 дней назад
fp
Накидайте ссылок с блогами, списками рассылок и прочими твиттерами и awesome-листами про ФП, а то нормальных сабреддитов на эту тему нет, а языкоспецифичные слишком языкоспецифичны.
#9GVIXN (2) / @anonymous / 1093 дня назад
Писал сырой stg. Стал let … in-блядью. :( Что теперь делать?
#7SHDKM (0) / @ndtimofeev / 1332 дня назад
fp cs
У меня спрашивают, где бы найти кошерных видеолекций по функциональщине, алгоритмам, и по computer science в целом, а я не знаю (потому что не понимаю, как можно всё это смотреть и слушать, не мой формат). Подскажете человеку?
#EXLPV8 (7+1) / @gds / 1347 дней назад
ФП оккупировано учоными и хеллоувордистами, часто в одном лице. Они говорят "ФП лучше для оптимизации", а сами забили на оптимизатор, потому что экстенсивно долбить оптимизатор - это скучный и бесконечный процесс. Они говорят "ФП лучше для рефакторинга" - и для Хаскеля нет аналогов IDEA, есть говноподелка HaRe под емакс, которой никто, кроме емаксодрочеров, не может воспрользоваться, которая многие годы (после "диссертации") лежала гнила. И даже обычные IDE только недавно стали юзабельными (ака вышли из альфы по качеству). Они говорять "ФП лучше для параллелизации" - и точно также все эти 100500 библиотек и компиляторов не выходят из альфы. Более-менее зрелый - только рантайм GHC, который низкоуровневый и которому 10 лет в обед - никакой тебе полиэдрической компиляции и GPU и т.д. А на бумаге да, "ФП лучше". Но пока худшие впереди. --- http://nponeccop.livejournal.com/453586.html
#CKQXA0 (4+5) / @dzhon / 1349 дней назад
cs fp
(via avkarpich) Вдруг кто-нибудь захочет в Москве пописать на Isabelle/HOL -- https://www.linux.org.ru/forum/job/11244226
#499S99 (1+1) / @gds / 1523 дня назад
cs fp
"ЗаяцШЩ, M, T, стрелка и отбивная монада с горошком" [nivanych]
#RFAI1T (0) / @gds / 1576 дней назад
"Если дать человеку несколько монад, он будет сыт говном неделю. Если дать монадные трансформеры — он будет сыт всю жизнь." [А.Эйнштейн]
#QN8DTN (10+3) / @gds / 1592 дня назад
Только недавно узнал, что нельзя просто так поехать в сраную сша'шку и сказать "я хочу тут жыдь" (и работать камлоёбом, например). При том количестве говна, которое у них уже есть. И при том качестве меня, которое у меня уже давно есть. Непонятно. Или понятно? Аргументируйте.
#CSWVMH (10) / @gds / 1640 дней назад
#IX6G62 (0+1) / @gds / 1641 день назад
http://homes.cs.washington.edu/~jrw12/dep-destruct.html -- грамотно про dependent destruction.
#CZ5FTP (0) / @gds / 1651 день назад

Вон чо @ygrek нашёл: http://files.ygrek.org.ua/coq.jpg

#PL4J6G (0+2) / @gds / 1660 дней назад

https://bitbucket.org/gds/ocaml_incrcomp/src/tip/lib/incrcomp.mli
Суть токова: меня достало то, что нужно уметь простые типа-ленивые вычисления, но с умным перевычислением, если что изменилось, но при взгляде на frp / react как-то всё падает.
Я кое-кому говорил, что уложусь в 10 строчек велосипеда -- так вот, ошибся, но потому, что хотел сделать относительно общо. Получилось вроде миленько, однако, прошу, покритикуйте идею, апи, инглиш, да и всё вообще. Моё ниасиляторство react'а, например, тоже можно.

#ZW9FCV (8) / @gds / 1699 дней назад

Таки дошли руки до симуляции перегрызенного кабеля (спрашивал в #TP2TNF).
Хорошо иногда бывает параметризовать код IO-манаткой. Получилось так: https://gist.github.com/gdsfh/c0aa2733a6d09b49f894 . Работает замечательно. Благодаря fail_seed можно получать детерминированные фейлы, что помогает при отладке.
А отладка заключалась в том, что Lwt.join как-то странно себя ведёт. В документации сказано "падает, если какой-то из тредов падает", тогда как в реальном случае висит: http://pastebin.com/scLnbQ2A . Вотзефак?

#1R315B (1) / @gds / 1703 дня назад

[..] мне доводилось писать код, но это было во времена моей далекой юности. [..] И работал программистом где-то до 2004 года [..] после 2004 года профессионально разработкой я уже не занимался.
я могу себя описать как «человек, написавший много книг по функциональному программированию и нескольким смежным темам»

"И всё у них так".

#ZHYF1T (7+3) / @gds / 1753 дня назад

http://www.youtube.com/watch?v=Mfsnlbd-4xQ
Охуенч!

#94K60W (10+1) / @238328 / 1754 дня назад

@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 / 1797 дней назад

"Сама философия статической типизации, что программа - это окаменевший кусок говна, с полностью зафиксированными относительно друг друга, ригидными частями, дефективна и показывает однобокость мышления аутистов-полудурков, живущих на гранты и разрабатывающих теории типов. "
" Сам процесс взаимодействия с компилятором статического языка имеет зачастую необратимый эффект на психику человека. Этот эффект похож на последствия длительного сабмиссивного общения с авторитарным и жестоким человеком. Любой человек, писавший много лет на статическом языке приходит в ужас от взаимодействия с динамическим языком. "

#2AWI2R (16+4) / @ninesigns / 1998 дней назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.