Критерий Вычисλимости

это так. но разве много людей пользуется ду-нотацией для списков?

мне для обозначения разницы между path как конкретным путём на графе из а в б и ????? как множеством всех путей на графе из а в б

несколько оффтопик, но как бы вы назвали множество всех путей на графе из узла A в узел B? помимо path space

о, тут спор, должен ли == сравнивать по ссылке? по-моему, по ссылке сравнивать совершенно нелогично, т.к. это тождественность (identity), а не равенство (equality)

можно ещё прочитать хотя бы первую главу https://books.google.ru/books?id=Ae1YAwAAQBAJ&printsec=frontcover&hl=ru#v=onepage&q&f=false

претензия к тому, что у ссылочных типов копирование производится по ссылке, а у структурных - по значению? и к тому, что это никак нельзя переопределить?

Nothing это же морфизм в объект Maybe C? из юнита

является ли чистой функция, возвращающая [IO ()]?

существует ли докер-образ с чем-то вроде ghci, кидаешь ему код по хттп - он его statefully выполняет?

select mailtext, s.mailaddress, r.mailaddress from letter join account s on senderid = s.accountid join account r on recipientid = r.accountid?

как вам интенцепторы, кстати? некстати, внезапно, 6666 человек в чате

как-то можно ghci заставить напечатать типы для всех интересующих меня подвыражений внутри функции?

чем не код-данные?

хотя там какие-то объектно-ориентированные принципы требуются. это наследование, инкапсуляция, сокрытие данных и полиморфизм что ли?

> It is so feature-complete in fact, that almost any C# class can be ported over to F# code with little substantial alteration ну да, как насчёт class A<F> { class B<G> {} }?

то есть если сделать fromInt n = if mod n 2 /= 0 then Nothing else Just $ Even $ n / 2, то претензий не будет?

если прям хочется через стрим делать. а что такое VarInt?

что плохого в биолабораториях?

есть ли какой-то глубокий смысл в том, что у instance Applicative ((->) r) pure это в точности комбинатор K, а (<*>) это в точности комбинатор S, которые вместе составляют ком...

хз по теме чата или нет, но как типизируют паттерны? если оперировать паттерном как объектом первого класса, то какой у него будет тип? допустим f :: [a] -> a; f (x :: xs) = x...