Kd
-
val на let (и == на =) и получится валидный F# 😌Size: a a a
2021 February 15
IP
Заменить
форма вызова f a b > f(a, b)
KD
Кстати.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
Kd
так и думал что в time -> positive_infinity все языки будут с одним и тем же синтаксисом и нахуй не надо учить все эти х-ли и прочее, хватит js
AG
Заменить
val на let (и == на =) и получится валидный F# 😌А потом = на :=
KD
Заменить
val на let (и == на =) и получится валидный F# 😌А я то подумал, что справа порезанный питон.
IP
Кстати.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
IP
Мы только обсуждали, почему ее, скорее всего, не нужно изучать
IP
Даже хаскеллистам!
АХ
Даже хаскеллистам!
Даже хаскеллистам
AL
Кстати.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
шень верещагин теория множеств
I
форма вызова f a b > f(a, b)
Ну так то да, в этом скала отстает от F#
KD
Мы только обсуждали, почему ее, скорее всего, не нужно изучать
Так я и не собираюсь её возводить куда-то. Просто хочется окунуться в тему, чтобы при слове бифунктор очко не сжималось от незнания.
AN
Кстати.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
Википедии достаточно
KD
KD
Википедии достаточно
На википедии слишком неструктурированные знания.
I
Кстати.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
Пока тут умные люди собрались, обсуждающие умные темы, а не этих ваших Трампов да Навальных:
Может кто-нибудь посоветовать какую-нибудь стоящую литературу по теории категорий (может даже + теория типов) для айтишников?
Чтобы можно было спокойно на туалете за чаем почитать не ломаясь от голой математики, понимая что есть что и зачем оно.
(Класека) Дементий несите свиней 🐷
I
(шутка про хохлов)
AL
оно. имхо, чуть больше полезных знаний. особенно для старта