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

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

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

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

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

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

漸進的型付け言語の時代に必要なもの – mizchi’s blog

漸進的型付け言語の時代に必要なもの - mizchi's blog

漸進的型付け言語の時代に必要なもの - mizchi's blog

最近では、Gradual Typing、漸進的型付けと呼ばれる型システムを備えた言語(拡張)が増えてきています。 次のようなもの JavaScript: TypeScript / Flowtype Python: mypy / pyre-checker PHP: hack / php-storm flow/pyre-checker/hack と facebook 製が多いですね。 この記事は、それらを使う動機と運用について書きま...

はてなブックマーク - 漸進的型付け言語の時代に必要なもの - mizchi's blog はてなブックマークに追加