Скала тоже хороша в смысле скобочек.
Но давайте не будем путать язык с линейной логикой и языки с интуиционистской. Разные вещи, концептуально. В линейной логике вещи не возникают из ничего и не исчезают в никуда.
А уж полутиповые языки просто не совсем являются языками. Где их математическая модель? И когда будет обнаружена ошибка в коде, в продакшене?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2021-12-22 14:13 (UTC)Скала тоже хороша в смысле скобочек. Но давайте не будем путать язык с линейной логикой и языки с интуиционистской. Разные вещи, концептуально. В линейной логике вещи не возникают из ничего и не исчезают в никуда.
А уж полутиповые языки просто не совсем являются языками. Где их математическая модель? И когда будет обнаружена ошибка в коде, в продакшене?