今の時代に「F*」とかって検索性の悪そうなネーミングセンスはどうかと思うなあ。

mohnomohno のブックマーク 2018/07/08 00:40

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

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

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

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう