こんにちは F# のアドベントカレンダーの記事ということで、F# の話題を楽しみにされた方々には申し訳ないのですが、この記事では F* というプログラミング言語を紹介します。F* は「えふすたー」と読みます。 公式サイトは以下になります。 F*: A Higher-Order Effectful Language Designed for Program Verification なんだか論文とかおいてあってやたらハイソな感じがしますね。それもそのはず、開発にはマイクロソフトリサーチが関わっています。 The F* Project - Microsoft Research いったんここで「なぜ F* を取り上げたのか?」について説明しないとそろそろ F# の記事を期待されている方たちから石が投げられそうな気がしますので説明させていただきますと、基本的には F* は F# とよく似た言語です