[12:27:48] <ada_ru> (Лекс) Microsoft развивает новый язык программирования на основе Rust https://opennet.ru/51966/
[12:28:20] <ada_ru> (Лекс) слишком мало раста - нужно больше раста!
[12:30:14] <ada_ru> (I_vlxy_I) кто бы сомневался, что MS не будет пользоваться самим растом, а как обычно форкнет и сделает своё
[12:30:34] <ada_ru> (I_vlxy_I) хорошо, что MS Адой не заинтересовалась
[12:32:19] <ada_ru> (Лекс) бугогагашеньки
[12:39:06] <ada_ru> (Gourytch)  отвечает (I_vlxy_I) на <кто бы сомневался, ч…>
правильно. ибо у Rust есть Фатальный Недостаток ™
[12:39:28] <ada_ru> (I_vlxy_I) порпораст!
[12:49:21] <ada_ru> (Eugene) у микрософта на эту тему есть ещё F* -- типа F# но с линейными типами
[12:51:21] <ada_ru> (FROL256) F* ... смахивает на F*CK
[12:53:33] <ada_ru> (Eugene)  отвечает (FROL256) на <F* ... смахивает на …>
https://www.fstar-lang.org/
[12:53:34] <ada_ru> (FROL256) да я не спорю что он существует )
[12:59:48] <ada_ru> (Лекс)  отвечает (FROL256) на <F* ... смахивает на …>
по сути так и есть)
[13:01:58] <ada_ru> (Eugene) один из немногих языков для верифицированного программирования! ценить надо!
[13:04:15] <ada_ru> (Лекс)  отвечает (Eugene) на <один из немногих язы…>
А как же Ада?)
[13:05:32] <ada_ru> (Лекс) И что толку вообще говоря, если среднестатистический проект начинается сразу с кода, молчим про необходимую для верификации мат модель, - даже функциональные спеки очень редко пишуться, а если и пишуться то чисто формально
[13:06:25] <ada_ru> (Лекс) > After verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code.

Это имхо круто, можно в ассемблер гонять (я наивно полагаю что человекочитаемый 😃)
[13:07:51] <ada_ru> (Eugene)  отвечает (Лекс) на <А как же Ада?)>
Ада -- нет, SPARK -- да
[13:08:28] <ada_ru> (Лекс)  отвечает (Eugene) на <Ада -- нет, SPARK --…>
спарк это ресольвер над адой, же
[13:10:52] <ada_ru> (Eugene)  отвечает (Лекс) на <спарк это ресольвер …>
это отдельный язык, расширенное подмножество ады
[13:11:31] <ada_ru> (Eugene) хотя недавно SPARk сильно изменили, интересно, как он сейчас относится к аде