Шлюхи без блекджека, блекджек без шлюх. Войти !bnw Сегодня Клубы
Привет, TbI — HRWKA! 1125.5 пользователей не могут ошибаться!
?6320
прекрасное6138
говно5796
говнорашка5245
хуита4166
anime2870
linux2484
bnw2420
music2324
log2101
рашка2027
pic1878
ололо1783
быдло1421
украина1390
сталирасты1342
дыбр1161
гімно1158
роботы_не_одобряют1005
bnw_ppl966

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

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

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

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

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

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

#1R315B (1) / @gds / 1789 дней назад

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

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

#ZHYF1T (7+3) / @gds / 1839 дней назад

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

#94K60W (10+1) / @238328 / 1840 дней назад

@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 / 1884 дня назад

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

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

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