リンク集のほうにも追加しておきました。
下記が追加した内容ですがね。
F#入門
http://fsharpintro.net/
わかりやすい入門サイト。会社のVisual StudioでがんばるならF#がいいかなと思って頑張り始めた。Haskellとかインスタンスするのに問題ないことの申請とか大変すぎるので。
F#
Software Foundation https://fsharp.org/
総本山
F: A Higher-Order Effectful Language Designed for Program Verification
https://www.fstar-lang.org/#tutorial
依存型をもった言語らしい。Coqよりこっちのが自分の実用に近いのかな?F# + 依存型なのか?それともF#と無関係か?
F Tutorial
https://www.fstar-lang.org/tutorial/
上記のチュートリアル。Web処理系があるのがうれしい。
今後、だまって追加します。