А вот скриптовые языки со статической типизацией?
От: dmz Россия  
Дата: 16.01.09 06:56
Оценка:
А вот где бы посмотреть на простые (простые — это не окамл с хаскеллом, пожалуйста) скриптовые языки со
статической типизацией? Т.е. что бы тип всех переменных выводится в компайл-тайме. Нужен источник вдохновения.

Что-то все, какие (из простых) знаю навскидку — с динамической типизацией: tcl, js, lua, ...

Интересно, можно ли сделать легковесную (простую в реализации) статическую систему типов.

Делать динамическую типизацию очень сильно не хочется, т.к. крайняя простота компилятора
оборачивается усложнением vm и разрастанием кода и memory footprint — так как информация
о типах и рантайм полиморфизм, в общем, обходятся дороговато.
beep дизайн языков
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.