А, стоп, дублирование-то зачем?
В окамль, говорят, давно завезли возможность делать вот так: type 'a list = | Cons of 'a * 'a list | Nil type 'a many = | Cons of 'a some | Nil and 'a some = { he...
Там Дон, часом, TypedHoles в язык добавлять не планирует?
Это время пришло Там, это, Дон не расщедрился на КХД на решё... HKT для фшарпа?
Не напомните, как звался атрибут для рекордов, который позволял им ToString() подменять? Я смутно припоминаю что там было что-то про Structural и Print
https://github.com/Heimdell/kern/blob/main/Parser.fs#L80-L150 Насколько это идиоматичный код?
data Union fs x where Here :: f x -> Union (f : fs) x There :: Union fs x -> Union (f : fs) x class Remove f fs gs | f fs -> gs where remove :: Union fs x -> Ei...
Проблема в эффектах типа StateT. Как в вашем случае преставляется StateT/ExceptT и как они будут скомпозированы? Как я понимаю, раз у вас всё на генериках, то есть и From/To-a...
Неужели у шарпа будет :info в репле, как в хаскелле?
Или шарп как-то по-хитрому через инденты определяет, где конец функции?
Кто из них <dafult>-то?
Может, вы там забанены?
type 'a logic = 'a logic_ Lazy and 'a logic_ = | Nil | Cons of 'a * 'a logic let inline apply (yes : ('a * 'a logic) -> 'r) (no : 'r) (logic : 'a logic) ...
Как это работает вообще, там же IL? У IL есть возможность встраивать код конечного процессора? Насколько это непереносимо?
Enum/Bound работают только с C-style перечислениями. Есть ли какой-то тайпкласс или способ, при помощи которого можно сделать себе Enum-like свойство для любого нерекурсивног...
А есть в nixpkgs 9.2?
https://habr.com/ru/company/ruvds/blog/545740/ Оператор |> нужен чтобы передавать значение в функцию. ||> существует чтобы передавать кортежи в функцию. |||> а этот монстр п...
У меня есть type env = (name, node) Map type prog = | ... | Let of ((name * prog) list * prog) | ... Как мне сделать следущее: let eval env p = match p with | Let (...
Есть где-нибудь статьи на тему что делать и как жить с асинхронными исключениями?
> haskell plush toy А кто, простите, целевая аудитория этой plush toy?