К
Но не нативный же, а поверх на своем рантайме.
Size: a a a
2021 August 28
M
Да, еще в AS нету структурной типизации пока, только номинальная, а в TS наоборот есть только структурная, а номинальной нету пока
НС
Например, кмк студентов можно на примере ас учить прогать даже.
M
Ну да. Wasm GC пока не завезли в Wasm. Да и не факт что будет сильно быстро с ним, по недавним отчетам Алона пока есть проблемы с этим, по крайней мере на примере с Java
НС
На примере тс я бы не стал. Это костыли.
M
AS кстати строже даже чем C++ особенно вплане приведения типов. Но менее строгий чем Rust
AC
А в каком месте менее строгий? Менее выразительный в части типов -- это да.
К
борров чекера нет :)
НС
В C++ больше UB смущает, чем это.
AC
Так и уникального владения, передачи владения и RO-ссылок нет. При наличии GC чекер не особо нужен. 🤷♀
M
Ну напримре в Rust нельзя сделать так:
Будет ошибка:
no implementation for
В AS все будет ок:
let f = 1.0_f32;
let d = f + 1; // d <- 2.0_f32
Будет ошибка:
no implementation for
f32 + {integer}В AS все будет ок:
let f = 1.0 as f32;
let d = f + 1;
> d = 2.0 (f32)
НС
Кстати, а спецификация as существует? Где она (если да)?
M
Пока нету. Сейчас мы работаем над кое чем интересным. Потом возможно появится. Есть что то вроде White Paper предстоящих изменений, если интересно могу скинуть лично. Но то пока очень ранний draft
НС
Я пока не настолько в теме, чтобы их понять, к сожалению ).
Так что если есть сомнения, то лучше потом.
Так что если есть сомнения, то лучше потом.
НС
А почему всё с массивами такое большое?
var a = [0]собирается в тысячу строчек wat
return a[0]
AC
Я бы не сказал, что OCaml ещё более строгий, на основании того, что там нужно вообще писать
let d = f .+ 1.0. 🤷♀M
Потому что поддтягивается рантайм - аллокатор и GC
M
Пока нету shape и escape analysis