サクサク読めて、アプリ限定の機能も多数!
今の時代に「F*」とかって検索性の悪そうなネーミングセンスはどうかと思うなあ。
mohno のブックマーク 2018/07/08 00:40
F*(F Star)の複雑な型システムの何が嬉しいのか? - Amosapientiam[yuchiki1000yen][F*][Microsoft][言語][開発][ネタ]今の時代に「F*」とかって検索性の悪そうなネーミングセンスはどうかと思うなあ。2018/07/08 00:40
このブックマークにはスターがありません。 最初のスターをつけてみよう!
yuchiki1000yen.hatenablog.com2018/07/07
マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは...
166 人がブックマーク・30 件のコメント
\ コメントが サクサク読める アプリです /
今の時代に「F*」とかって検索性の悪そうなネーミングセンスはどうかと思うなあ。
mohno のブックマーク 2018/07/08 00:40
このブックマークにはスターがありません。
最初のスターをつけてみよう!
F*(F Star)の複雑な型システムの何が嬉しいのか? - Amosapientiam
yuchiki1000yen.hatenablog.com2018/07/07
マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは...
166 人がブックマーク・30 件のコメント
\ コメントが サクサク読める アプリです /