2018年08月29日

F#という言語を会社で少し試し始めた

リンク集のほうにも追加しておきました。

残業プログラマのためのスキルアップリンク集

下記が追加した内容ですがね。

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処理系があるのがうれしい。

今後、だまって追加します。

posted by ソフトウェア工学なんて忘れて at 21:00| Comment(0) | 日記 | このブログの読者になる | 更新情報をチェックする