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) | 日記 | このブログの読者になる | 更新情報をチェックする
この記事へのコメント
コメントを書く
お名前:

メールアドレス:

ホームページアドレス:

コメント:

認証コード: [必須入力]


※画像の中の文字を半角で入力してください。
×

この広告は180日以上新しい記事の投稿がないブログに表示されております。