ReScript 10

[Володимир Лісівка]

ReScript - це мова програмування створена на основі BuckleScript та Reason. Вона компілюється у досить чистий та короткий JavaScript. На відміну від TypeScript, ReScript підтримує коректну систему типів, таку як у Rust, що виключає помилки пов'язані з null чи undefined. На відміну від TypeScript, який намагається підтримати всі можливості JavaScript, ReScript використовує тільки частину можливостей JavaScript та сконцентрований на надійності та швидкості. ReScript підтримує вилучення мертвого коду, тому програми виходять короткими та придатними для вивчення, навіть якщо залучена велика кількість бібліотек.

Оголошення: https://rescript-lang.org/blog/release-10-0-0
Пісочниця: https://rescript-lang.org/try

[r]

"дзвінка система типів" це що за термін?

soundness з англійської це чіткий, логічний, корректний. В данному випадку правильний термін скоріш корректна система типів. Випливає з її суті - корректна система типів відкидає всі некорректні (з точки зору типів) програми.

null-safety не відноситься до sound type system. Це просто елемент який підтримується на рівні системи типів. Наприклад java не null-safe не т ому що система типів не sound, вона sound. Просто java не підтримує цю фішку. Іноді кажуть sound null-safety. Але це не про sound type system.

Референси вкрали з ocaml але не докінця, ному немає розіменування референсу
let x = ref(5)
!x
 --> 5

[Володимир Лісівка]

soundness — це з будівельної галузі. Коли стукаєш по міцному дереву хорошої якості, то воно дзвенить.

soundness
/ˈsaʊndnəs/
noun: soundness

    1.
    the state of being in good condition; robustness.
    "mental and physical soundness"
    2.
    the quality of being based on valid reason or good judgement.
    "we will win because of the soundness of our arguments"

Напевно «надійна система типів» буде найкращим перекладом.

[Володимир Лісівка]

Хоча, у Вікіпедії, «soundness» зчеплене з «правильність»: https://uk.wikipedia.org/wiki/%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D1%8C%D0%BD%D1%96%D1%81%D1%82%D1%8C

[r]

Напевно «надійна система типів» буде найкращим перекладом.

Це якщо гуманітарно перекладати. А якщо технічно, то sound - корректний.

In logic, more precisely in deductive reasoning, an argument is sound if it is both valid in form and its premises are true.

Наприклад "це твердження корректне" - "this statement is sound".

Type system це про reasoning about types.

This program is sound typewise - ця програма корректна щодо типів.