Автор Гілка: ReScript 10  (Прочитано 425 раз)

Відсутній Володимир Лісівка

  • Адміністратор ЩОДО
  • Видавець
  • *****
  • дописів: 3670
  • Карма: +7/-0
  • Програміст
ReScript 10
« : 2022-09-29 12:55:06 »
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
« Змінено: 2022-11-02 22:28:07 від Володимир Лісівка »
[Fedora Linux]

Відсутній r

  • Новачок
  • *
  • дописів: 6
  • Карма: +0/-0
Re: ReScript 10
« Відповідей #1 : 2022-11-02 12:36:16 »
"дзвінка система типів" це що за термін?

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
« Змінено: 2022-11-02 12:56:25 від r »
[Caldera OpenLinux] [Enlightenment E14]

Відсутній Володимир Лісівка

  • Адміністратор ЩОДО
  • Видавець
  • *****
  • дописів: 3670
  • Карма: +7/-0
  • Програміст
Re: ReScript 10
« Відповідей #2 : 2022-11-02 13:15:18 »
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"

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

Відсутній Володимир Лісівка

  • Адміністратор ЩОДО
  • Видавець
  • *****
  • дописів: 3670
  • Карма: +7/-0
  • Програміст
Re: ReScript 10
« Відповідей #3 : 2022-11-02 13:38:59 »
Хоча, у Вікіпедії, «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
[Fedora Linux]

Відсутній r

  • Новачок
  • *
  • дописів: 6
  • Карма: +0/-0
Re: ReScript 10
« Відповідей #4 : 2022-11-02 17:19:42 »
Напевно «надійна система типів» буде найкращим перекладом.

Це якщо гуманітарно перекладати. А якщо технічно, то 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 - ця програма корректна щодо типів.
« Змінено: 2022-11-02 17:27:50 від r »
[Caldera OpenLinux] [Enlightenment E14]