「type system」カテゴリーアーカイブ

F*(F Star)の複雑な型システムの何が嬉しいのか? – Amosapientiam

F*(F Star)の複雑な型システムの何が嬉しいのか? - Amosapientiam

F*(F Star)の複雑な型システムの何が嬉しいのか? - Amosapientiam

マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは? 複雑な型ってなんだろう? 複雑な型システムを組み込んで何が嬉しいんだろう? 何が嬉しくないんだろう?...

はてなブックマーク - F*(F Star)の複雑な型システムの何が嬉しいのか? - Amosapientiam はてなブックマークに追加