JS
тогда почему же "≠ x является Type" ?
is a type ≠ is the Type
Size: a a a
2020 May 18
JS
так ты же сам только что сказал что является это не только значит быть, но и иметь свойство
is-a — иметь свойство
is-the — совпадать
is-the — совпадать
к
is a type ≠ is the Type
спасибо за это неравенство, но давай вернемся к твоему выражению, где нет ни is a, ни is the
JS
Int имеет свойства Type, где Type - свойство, предикат, множество конструкций которые можно использовать в качестве типа
Type весьма условно можно считать предикатом, формально тайпклассом нельзя
JS
спасибо за это неравенство, но давай вернемся к твоему выражению, где нет ни is a, ни is the
вот это?
и что с ним?
x является типом ≠ x является Type,
но
x является типом = x : Typeи что с ним?
JS
если бы это были множества, то любой тип можно было бы назвать предикатом
да, любое множество взаимно однозначно представляется предикатом.
с Хаскельными типами в одну сторону работает —
с Хаскельными типами в одну сторону работает —
x : Type ≈ x ~ Type, а обратно — нет Monad m ≈ m : ?D
stack new ytest yesodweb\yesod-simple
между тем установка persistent-postgresql в этом проекте, тоже ломает функциональность в репле
как же хорошо на винде сидеть (нет)
как же хорошо на винде сидеть (нет)
JS
да, любое множество взаимно однозначно представляется предикатом.
с Хаскельными типами в одну сторону работает —
с Хаскельными типами в одну сторону работает —
x : Type ≈ x ~ Type, а обратно — нет Monad m ≈ m : ?разве что
m : (Monad n => n). хм...JS
или x : Monad m
это не Хаскель
JS
разве что
m : (Monad n => n). хм...а, нет, так тоже нельзя
к
это не Хаскель
