F*
https://gyazo.com/105246b9419e6f1626559b95e23348de
MicroSoft
と
INRIA
が開発
プログラム検証に使われる
OCaml
、
F#
、
C
にコンパイルする
github
HP
http://www.fstar-lang.org/tutorial/
tutorial
型システム
依存型
篩型
もある?
monadic effect
https://www.riseforfun.com/FStar/tutorialcontent/guide#h23
ぶろぐ
http://yuchiki1000yen.hatenablog.com/entry/2018/07/07/155854
https://twitter.com/zecl/status/1140785613303504897
ダイクストラモナド
https://github.com/FStarLang/kremlin
hcal-star
https://github.com/project-everest/hacl-star
F*実装のなにか
参考
https://ja.wikipedia.org/wiki/F*_(プログラミング言語)
#プログラミング言語