AV
/me услышал слово изоморфизм и пришёл почитать выкладки людей приводящих доказательства наличия изоморфизма
Size: a a a
2017 December 18
AV
обычно это нетривиальная задача
AV
жаль хаскелистов было мало на докладе Николая. очень бы хотелось отдельно посмотреть диалог Николая с хаскелистами, услышать их аргументы в пользу типов
надо было на fby приезжать, там оно было
AV
а в fconf было лень заходить в аудиторию, да и формат там был не для общения с залом
MA
то есть хаскелисты пообщались с Николаем?
MA
он живой хоть?
AV
конечно
MA
а запись была? или это в кулуарах?
AV
во всяком случае твиты про себя лайкал сегодня, т.е. долетел до питера живым
AV
на записи есть немного
AV
большая часть в кулуарах была
AV
вообще @niquola предлагал провести как-нить парный доклад с ним, про принципы мышления и решения задач в haskell и clojure
AV
после того, как на моём докладе, про требования к языку пришёл к выводу, что это ж про кложу, а не haskell
AV
можно, поидее, когда-нибудь провернуть на fprog
AV
а диалог хотя был очень веселым не сверх информативный, т.к. стороны обычно имеют четкий взгляд и из сотни тезисов, другой стороной в лучшем случае принимается 1-2
AV
относится как в haskell-истам, так и к clojur-истам
AV
что в общем-то нормально
AI
т.е. отношения коммутативны )
Aq
Не вижу, что может быть интересного в таком обсуждении
AV
ну у меня была изрядная доля смеха