TOV_MULTIMASSO

А, стоп, дублирование-то зачем?

Это время пришло Там, это, Дон не расщедрился на КХД на решё... HKT для фшарпа?

В окамль, говорят, давно завезли возможность делать вот так: type 'a list = | Cons of 'a * 'a list | Nil type 'a many = | Cons of 'a some | Nil and 'a some = { he...

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...

Там Дон, часом, TypedHoles в язык добавлять не планирует?

Не напомните, как звался атрибут для рекордов, который позволял им ToString() подменять? Я смутно припоминаю что там было что-то про Structural и Print

https://github.com/Heimdell/kern/blob/main/Parser.fs#L80-L150 Насколько это идиоматичный код?

Проблема в эффектах типа StateT. Как в вашем случае преставляется StateT/ExceptT и как они будут скомпозированы? Как я понимаю, раз у вас всё на генериках, то есть и From/To-a...

Кто из них <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 есть возможность встраивать код конечного процессора? Насколько это непереносимо?

Неужели у шарпа будет :info в репле, как в хаскелле?

Или шарп как-то по-хитрому через инденты определяет, где конец функции?

Enum/Bound работают только с C-style перечислениями. Есть ли какой-то тайпкласс или способ, при помощи которого можно сделать себе Enum-like свойство для любого нерекурсивног...

А есть в nixpkgs 9.2?

Может, вы там забанены?

У меня есть type env = (name, node) Map type prog = | ... | Let of ((name * prog) list * prog) | ... Как мне сделать следущее: let eval env p = match p with | Let (...

https://habr.com/ru/company/ruvds/blog/545740/ Оператор |> нужен чтобы передавать значение в функцию. ||> существует чтобы передавать кортежи в функцию. |||> а этот монстр п...

> haskell plush toy А кто, простите, целевая аудитория этой plush toy?

Есть где-нибудь статьи на тему что делать и как жить с асинхронными исключениями?