к
Size: a a a
2020 May 18
JS
это построение эквивалента руками, а не автоматическое преобразование, как между можествами и предикатами, но с идеей согласен
JS
в идеале должно быть что-то такое
Monad Maybe = Maybe : _ MonadJS
в теории множеств это работает так:
let S : Set; then MakePredicate(S)(x) ⇔ x ∈ S
let P : Predicate; then x ∈ MakeSet(P) ⇔ P(x)
MakeSet(MakePredicate(S)) = S
MakePredicate(MakeSet(P)) = PJS
P(x) <=> x in P
типы не сходятся. P — это функция, ей не может ничего принадлежать в первом приближении.
во втором приближении, если рассматривать функцию как отношение, а отношение как множество, то оно состоит из элементов другого вида:
во втором приближении, если рассматривать функцию как отношение, а отношение как множество, то оно состоит из элементов другого вида:
P(x) <=> (x, True) ∈ PJS
а, ну да, так ещё проще
JS
короче, я не знаю, как такие предикаты на Хаскель перенести
AV
В это четверг (21.05) в 19-00 пишем игру Labyrinth на фреймворке Hydra. Это сессия живого кодинга на Haskell!
Докладчик: Александр Гранин @graninas
Ссылка на zoom появится в канале за 5 минут до встречи. Всех ждём! :)
Докладчик: Александр Гранин @graninas
Ссылка на zoom появится в канале за 5 минут до встречи. Всех ждём! :)
MK
data TMaybe where
TNothing :: TMaybe
TJust :: forall a. Proxy a -> TMaybe
MK
без прокси это можно сделать?
AP
ScopetTypeVariables?
AP
и тайпаппликейшны
MK
ну вот я напишу
TJust :: forall a. TMaybeMK
как мне этот
a сматчить потом?AP
указать явно сигнатуру, а потом ScopetTypeVariables?
MK
хм, а я могу прямо этот форалл в метче написать?
MK
интересно...