Телеграмм чат группы fsharp

The main ongoing use case of F* is building a verified, drop-in replacement for the whole HTTPS stack in Project Everest.

17:44пожаловаться #1

project-everest.github.io

они типа на матане и наркоте делают статически верифицированный HTTPS который компилится в натив.
https://project-everest.github.io/

Project Everest

Project page for the Project Everest. The page features information about the project, blog covering interesting developments, paper references and everthing...

17:45пожаловаться #2

АУ

Vladislav Khapin

а окамл под WSL не засунуть?

Когда я игралась, через cygwin запускала вроде

17:45пожаловаться #3

система типов - хаскель курит в сторонке

17:45пожаловаться #4

А тут и поиграться можно

17:45пожаловаться #5

https://www.fstar-lang.org/tutorial/

17:45пожаловаться #6

Анна Удовиченко

Ты мне?

Ага

17:46пожаловаться #7

project-everest.github.io

Ayrat Hudaygulov

Project Everest

Project page for the Project Everest. The page features information about the project, blog covering interesting developments, paper references and everthing...

Что?

17:46пожаловаться #8

АУ

Roman Melnikov

Ага

я ещё недостаточно упоролась до хаскеля. И мне идеологически ML семейство идеально подходит

17:46пожаловаться #9

Анна Удовиченко

я ещё недостаточно упоролась до хаскеля. И мне идеологически ML семейство идеально подходит

Так хаскель в нем же

17:46пожаловаться #10

Roman Melnikov

Что?

ну там ссылка же

17:46пожаловаться #11

АУ

Так хаскель в нем же

17:47пожаловаться #12

АУ

Есть языки, которые я хочу учить больше, чем хаскель :)

17:48пожаловаться #13

ну, вроде всё верно

17:48пожаловаться #14

https://www.fstar-lang.org/tutorial/

Ayrat Hudaygulov

какая иде нужна?

17:49пожаловаться #15

любой блокнот справится

17:49пожаловаться #16

компайлер вот это все

17:49пожаловаться #17

это ж язык для трёх мат задротов, им ещё и IDE делать?)

17:50пожаловаться #18

АУ

F* уже где-то обсуждали, то ли в F# чате, то ли в компиляторном

gsomix in F# Flood: Робин Бобин чат

17:50пожаловаться #19

Vladislav Khapin

а окамл под WSL не засунуть?

Можно. И даже в vscode писать из под Windows.