S
поэтому чекать надо в рантайме
Size: a a a
2020 May 21
p
Ну понятное дело)
p
Программа не может отработать полностью в компайл тайме
p
Просто суть в чем
Т8
Ну не, завтипы прикольные
Мне кажется, что мало кто может и хочет ими пользоваться
S
или если две инстанцы ограниченные
S
то например вар а = б тоже надо чекать в райнтайме
G
А то так любой Тьюринг полный язык невозможно скомпилировать, как сказал хиро
Можно скомпилировать за конечное время какой-нибудь Тьюринг-полный язык, не в этом дело
G
Т-34 85
Мне кажется, что мало кто может и хочет ими пользоваться
Потому что нужно различать исследования и продакшын
p
int Foo(int n)
{
return n+1;
}
В обычном языке здесь вернётся тип int. В языке с завтипами может вернуться тип n+1, что выглядит логичнее.
{
return n+1;
}
В обычном языке здесь вернётся тип int. В языке с завтипами может вернуться тип n+1, что выглядит логичнее.
p
Можно скомпилировать за конечное время какой-нибудь Тьюринг-полный язык, не в этом дело
А можно не скомпилировать)
p
Т-34 85
Мне кажется, что мало кто может и хочет ими пользоваться
Угу. Многие вообще сидят на динамике и считают что статика не нужна.
G
А можно не скомпилировать)
mov-инструкция Тьюринг-полная, и язык, состоящий из этой инструкции, вроде как, можно за конечное время скомпилироватьDF
А если она будет завтипизирована?
G
Это не знаю
Т8
Угу. Многие вообще сидят на динамике и считают что статика не нужна.
Они не пишут ядра ОС. Пишут такие как Линус Торвальдс
Т8
Потому что нужно различать исследования и продакшын
Вот я и различаю. Раст пытаются сделать вторым, но внешне он напоминает первый
G
Что-то я не особо видел мат. публикаций по Rust
DS
Т-34 85
Вот я и различаю. Раст пытаются сделать вторым, но внешне он напоминает первый
Где он напоминает? Там ресерча особо нет, язык из 90х же
Т8
Где он напоминает? Там ресерча особо нет, язык из 90х же
Я же сказал - старается походить внешне