enchantMOON発売から今日で5周年。この五年で起きたことを振り返る - THE長文日記
なんで七夕に設定しちゃったんだろう。 もともと記念日を覚えるのが苦手なので忘れないという意味では悪くないのだが、毎年七夕が来ると思いだしてしまう。 あの地獄のような日々からもう五年が経った。 本当は6月中に発売したかったんだけど、中国で製造がようやく始まったと思って帰国したら、ソフトが初回起動で必ずハングアップするみたいな状態で、これは絶対に間に合わないから7月7日出荷にしようと決断したのだった。 中国からリモートでソフトウェア開発を管理するというのはほとんど不可能に近かった。これは僕の見通しが甘かったのだ。 あれから現在に至るまで、同規模の、つまりOSからUIからプログラミング言語からオーサリング環境までまるごと全部作る、みたいなプロジェクトは大企業のものも含めてまだ聞いたことがないから、やはり挑戦としてはかなりクレイジーなものだったのだろう。まあいいのだ。クレイジーなことがしたかったん
F*(F Star)の複雑な型システムの何が嬉しいのか？ - Amosapientiam
マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは？ 複雑な型ってなんだろう？ 複雑な型システムを組み込んで何が嬉しいんだろう？ 何が嬉しくないんだろう？ と疑問をお持ちになる方も多いだろうと思います。 この記事ではF*で使われている複雑な型の一部と、複雑な型を持つことの利点・欠点の一部を述べ、それを簡単なコード例を通じて体感してみます。 疑問に対する答え F*とは？ マイクロソフトと Inria が開発中のプログラミング言語です。 依存型や monadic effect などが組み込まれており、複雑な仕様が型で表現できます。構文は OCaml や F#などのML系関数型言語に似ています。 詳しくは下記のリンクたちを参照。 F* (プログ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
再放送で有名になったアニメ
