Help us understand the problem. What is going on with this article?

Programming Language F*

More than 3 years have passed since last update.

こんにちは

F# のアドベントカレンダーの記事ということで、F# の話題を楽しみにされた方々には申し訳ないのですが、この記事では F* というプログラミング言語を紹介します。F* は「えふすたー」と読みます。

公式サイトは以下になります。

なんだか論文とかおいてあってやたらハイソな感じがしますね。それもそのはず、開発にはマイクロソフトリサーチが関わっています。

いったんここで「なぜ F* を取り上げたのか?」について説明しないとそろそろ F# の記事を期待されている方たちから石が投げられそうな気がしますので説明させていただきますと、基本的には F* は F# とよく似た言語ですし、なんと F* で書いたプログラムは F# に変換することができる1のです!

言ってみればマイクロソフトの尖った野郎ども2が作ったイケてる Alt F# なんですよ。

メインの領域としては定理証明などを想定しているみたいです。Agda とか Coq みたいなのに近いんですかね。

ここで F* の驚きのコードを…紹介できればよかったんですが、じつは私、これ書けないんですよ!!!

でも、論文(PDF)がなんかヤバくって

Screen Shot 0028-12-01 at 22.51.52.png

うわー、なんかすごいことができそう。

Screen Shot 0028-12-01 at 22.52.05.png

読んでもぜんぜん分かりません!

はいー、心折れました。

ポキリンコッ!!!

そんなわけで、お客様の方々におかれましては F# に詳しい方もいらっしゃるでしょうから、ぜひこの言語を使ってみて、素晴らしさを私に教えて下さい。

どうぞよろしくお願いします!

うわー、石投げないでおくれぇ〜


  1. なんか他にも最適化のためにC言語のコードに変換できたりもするみたい 

  2. マイクロソフトリサーチ以外にも MIT や INRIA みたいな大学からのコミットも多いみたいです 

Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
Comments
Sign up for free and join this conversation.
If you already have a Qiita account
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away