P
И тоже пашет под дотнетом
Size: a a a
2020 April 29
AK
Он же по моему транслируется в F# или OCaml
P
На сайте написано, что он написан сам на себе
P
F* is written entirely in F*, and bootstraps in OCaml and F#.
IC
Ну почему сразу никто? Он здесь мелькает время от времени.
P
Он малоизвестнее даже фшарпа
P
На нём программирует меньше людей, чем на лиспе или хаскеле
P
Я всё-таки сделал это
АВ
попрограммировал на F* ?
VS
А понимаешь ли ты, @zuzukp ,что F* не предназначен для и промышленного программирования и это скорее язык доказательств?
P
А понимаешь ли ты, @zuzukp ,что F* не предназначен для и промышленного программирования и это скорее язык доказательств?
Я нашёл мало информации по этому языку, так что ничего сказать не могу
P
Андрей Вилинский
попрограммировал на F* ?
нет, поставил символику F# в профиль
DK
Внезапно обнаружил на почте письмо
IC
Что-то знакомое. Месяц назад, если не больше, эти эмираты мелькали. Неужели до сих пор ищут?
VS
Людей мало, работы много
R
Ищем
Что ваш опыт показывает? Хорошего фшарписта сложней найти, чем хорошего сишарписта или так же примерно?
VS
Сложно найти человека, у которого мозги работают
VS
Фшарпу можно научить