Oℕ
И доказывают что-то про функции в такой тип
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2022 January 29
Oℕ
Проблема не опсем написать, а описать полноценно среду, про поведение в которой ты хочешь что-то доказывать
Oℕ
Стеки, хипы, регистры, нити, процессы, ошибки
AC
Если там с многопоточностью, то скрее должна быть labeled state transition system, а не "набор команд". Понятно, что можно и набор команд с потоками, но доказывать про такое — повеситься можно. Не что чтобы LSTS была капитально проще... 😅
2022 January 30
AC
https://nitter.eu/zeeshanlakhani/status/1487130985892302848
A paper on Polarized Subtyping which connects call-by-push-value, semantic (sub)typing, (equi)recursive types, & mixed induction/coinduction definitions.
A paper on Polarized Subtyping which connects call-by-push-value, semantic (sub)typing, (equi)recursive types, & mixed induction/coinduction definitions.
HG
всем привет. такой вопрос. как стать based в этом чате? какая деятельность меня забазирует? какие книжки или проекты? можно ли без прочтения текстбука на 900 страниц? цель -- лучше понять систему типов в Scala.
NR
просто говори уверенно
NR
будешь based
NR
если серьезно то не уверен что это чат по типам в scala
[
Это чат по любым типам же
NR
изначально это чат про связь типов и онтологий, а позднее кажется вообще свободные обсуждения всего связанного
[
Любые типосрачи - сюда
[
Главное не сравнивать хаскель и плюсы два дня, да @GabrielFallen ?
E
а что за история? и каков результат сравнения?
E
плюсы быстрее, а хаскель лучше?
YS
У плюсов по сравнению с хаскелем есть два плюса