Lan💡 ternus

Ещё бы за импредикативность/предикативность понять: вроде, в Haskell нет бесконечной иерархии вселенных, т.е. он, выходит -- импредикативный? Хотя как kindы и kind-полиморфизм...

В GHC еще не появилось расширения для не-рекурсивного let?

Вопрос: Prelude Data.Type.Equality Data.Type.Bool> f :: forall (a :: Bool) (b :: Bool) . ((a == a) && (b == b)) ~ 'True => (); f = () Prelude Data.Type.Equality Data.Type.Boo...

воркэроунда же в Haskell нет, чтобы в двух функциях одного модуля юзать разные прелюди, без прописывания CustomPrelude.((+)) префиксов кажной функции в реализации одной из них...

BTW, название типа Logic как-то связано с тем что CallCC -- вычислительная модель для классической логики, или это потому что "логическое программирование", вроде пролога? (хо...

(Не?) Кстати! Такой вопрос: выражение "множество всех подмножеств" --- в (какой-либо) теории типов -- формализуется? Если есть, например, задача -- числа Пеано до ординалов р...

вреде бы операторы полями не могут быть.... или могут?

Вопрос по теории типов: существуют экстенсиональные и интенсиональные сисемы типов. А также номинальная типизация и структурная. Не могу толком понять или найти чёткого опред...

Вопрос: В данном симействе типов n в инстансе откуда берется, из сигнатуры или из неявного forall? Если последнее -- как его можно прописать явно, и добавить сигнатуру к инста...

Про unsaturated семейства кто-то подскажет что-то простое читнуть, чтобы понять какую боль и как решает? Или может кто так сказать? Пейпер видел, но то надо время и думать, а ...

safe update value in-place значит что IORef можно безопасно пользовать?

👍 Спасибо. А у этой штуки можно как-то прогнозировать вычислительную сложность? Или сильно зависит от уровня вложенности и размера списков? Или там ленивость как-то помогает?

Кто-то в Haskell пользовал монаду Logic? Чем оно от Cont отличается?

Есть способ делать exhausive pattern-matching типов?

TypeFamilyDependencies поломатый?

через via, например?

Почему же? Копирайт и лицензирование на блокчейне.

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

так а явный forall где для него можно написать?

последнее применение -- оно вообще скомпилируется, это не проделки ghci?