(no subject)

[netch80]

Подумалось: R и Python, кроме прочих плюшек, выполняют роль "улучшенный Fortran, теперь с GC". Но что мешает добавить его в оригинальный Fortran, кроме консерватизма?

Comments

[gul_kiev]

> Разве что Ada где-то рядом маячит.

Я примерно в конце 80-х услышал фразу, что Ada вечно будет языком будущего. Почему-то запомнилась.

[netch80]

Интересно, имелось в виду, что она всегда будет опережать остальных и применяться только в спец. областях, или что её текущий (на тот момент) уровень никогда не будет достигнут?

Если первое, то сложно сказать, насколько такие тенденции живучи.
Если второе, то многие важные решения оттуда таки потихоньку перетекают в более мэйнстримные языки, хотя и не в одни и те же.

В этом плане интересен массовый откат от структурированных типизированных исключений. Где-то от них принципиально отказываются (Go), где-то не вводят, не представляя себе дешёвой реализации (Rust), а где-то сокращают текущее (вот это предложение очень показательно).

Ещё на что наконец начинают обращать внимание - тема целочисленного переполнения. В Rust есть всякие checked_mul/saturating_mul/wrapping_mul/overflowing_mul, в C++ наконец-то решили признать, что кроме дополнительного кода других представлений отрицательных не осталось... в Ada режим checked был по умолчанию с самого начала.

Клон типа, но несовместимый с ним - в Ada тоже изначально, недавно ввели в Go. Но не хотят признаваться, откуда взяли.