AT
а у шарпа разве есть полноценные алгебраические типы?
Так и у TS нет. А что?
Size: a a a
2020 February 21
M
а у шарпа разве есть полноценные алгебраические типы?
Ну, ADT у них вроде нету, зато есть pattern matching начиная с C#7
で
Так и у TS нет. А что?
там же вроде можно крафтить. never type тот же есть.
AT
там же вроде можно крафтить. never type тот же есть.
Крафтить везде можно, в том числе в C#.
А при чём тут never type?
А при чём тут never type?
で
я думал что never type относится к алгебраические.я не хаскеллист/математик поэтому могу спутать с другими типами типов.
AT
"Типы типов" называются "кайнды". 😂
M
never - это bottom/низший тип (символ _|_) в теории типов. При чем здесь ADT который как раз скорее ближе к top типу (совокупность всех возможных типов) который в typescript является any, но наиболее близкое в TS - это конечно же дискриминированное объединение интерфейсов, но это лишь эмуляция ADT
AT
MaxGraey
never - это bottom/низший тип (символ _|_) в теории типов. При чем здесь ADT который как раз скорее ближе к top типу (совокупность всех возможных типов) который в typescript является any, но наиболее близкое в TS - это конечно же дискриминированное объединение интерфейсов, но это лишь эмуляция ADT
"Never type" - это ненаселённый тип aka Void. Совпадает он с bottom или нет - вопрос к иерархии типов. Если иерархии вообще не задано, то никаких top/bottom типов и не будет. 🤷♀️
Г
Всем привет. Какой язык лучше для васм?
M
"Never type" - это ненаселённый тип aka Void. Совпадает он с bottom или нет - вопрос к иерархии типов. Если иерархии вообще не задано, то никаких top/bottom типов и не будет. 🤷♀️
Там в TS скорее такая иерархия:
any > object > other types > null / undefined / void > never
any > object > other types > null / undefined / void > never
AT
Всем привет. Какой язык лучше для васм?
Прикалываетесь? Конечно же AssemblyScript! 😁
Г
Или сразу в хексе?
M
хаскель конечно же
AT
MaxGraey
Там в TS скорее такая иерархия:
any > object > other types > null / undefined / void > never
any > object > other types > null / undefined / void > never
Это конкретно в TS, в более широком контексте (произвольных) систем типов может быть по-всякому.
Г
Прост хз, раст там какой-то. Стоит его смотреть вообще?
AT
Прост хз, раст там какой-то. Стоит его смотреть вообще?
А Вы это в Rust-чате переспросите. 😉
M
Прост хз, раст там какой-то. Стоит его смотреть вообще?
А вы на чем до этого писали?
AT
И что хотите на WASM писать?
Г
Ну в теории. Как раз с этим надо определится. Что вообще стоит писать на васм, а что нет? Ну очевидно физика на васм норм