Телеграмм чат группы microsoftstackjobs страница 4733

Там F*

21:36пожаловаться #1

Никита Емелин (whisperq) — Хабр Карьера

Nikita Emelin

https://career.habr.com/whisperq 2 года 9 месяцев

Habr

Никита Емелин (whisperq). Разработчик C#. Резюме IT-специалиста на Хабр Карьере

О, FLS. Мутные жлобы.

21:36пожаловаться #2

Nikita Emelin in Microsoft Stack Jobs

Там F*

Ну тогда не подхожу я в F# не в зуб ногой

21:37пожаловаться #3

Nikita Emelin in Microsoft Stack Jobs

Nick Z

О, FLS. Мутные жлобы.

Однако здравствуй

21:37пожаловаться #4

Точнее там параллельно реализацти на cakeml и erlang

21:37пожаловаться #5

Но эрланг будут менять на F*

21:37пожаловаться #6

А прикладнуха на C#

21:38пожаловаться #7

А еще к этому где-то сьоку бутерброд из sel4, genode и phantom os с присобаченым к ним wasm

21:38пожаловаться #8

Тьфу, обратный смысл увидел

21:39пожаловаться #9

Nikita Emelin in Microsoft Stack Jobs

Да я понял🌚

21:39пожаловаться #10

Ivan Balanar in Microsoft Stack Jobs

Но эрланг будут менять на F*

почему?

21:39пожаловаться #11

Формальная верификация

21:39пожаловаться #12

Формальная верификация

Разверни, пожалуйста, для ликбеза.

21:40пожаловаться #13

Не в плане самого термина, а что даст переход с ерланга

21:40пожаловаться #14

Ну эрланг не верифицируется

21:43пожаловаться #15

F* верифицируется

21:43пожаловаться #16

Ivan Balanar in Microsoft Stack Jobs

F* верифицируется

верифицируется IL или сам F# ?

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

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

Не F#

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

Ivan Balanar in Microsoft Stack Jobs

тааак, а это еще что такое. впрочем, ок. про его существование, похоже, знают еще меньше, чем про F# :)