はてなブックマーク

ページをブックマークして共有する

なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記

474 users

tarao.hatenablog.com

    ブックマークしているユーザー

    • griefworker griefworker 「型は論理式、実装は証明」 2020/03/09
    • efcl efcl ⊥型について 2020/02/24
    • mizdra mizdra 良い / 前半は何故型は仕様であると言えるのかを理論的に説明し,後半では仕様としての型の表現力の限界と表現力向上の取り組みについて紹介している 2020/02/24
    • quick_past quick_past スクリプト言語ってたいてい型がガバガバなんだけど、そういう世界の人たちがどうして、プログラミングという行為全般において、パラダイムの大変換を唱えたり、なんでもスクリプトでやろうとしたがるのか不思議。 2020/02/20

    もっとよむ