サービストップ

はてなブックマーク

B!で、もっと知る
話題のニュースを みんなの感想と一緒に テクノロジーからマンガまで
Scroll

COMMENTコメントで知る

記事へみんなの感想が集まる

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

  • hitotakuchan
    hitotakuchan 力作。「型のついた式」の定義によるけど、一般的には Scala,TypeScript,Haskell のプログラムはその型の証明にはならないよ。>Curry-Howard 2020/02/18
  • ysync
    ysync 高級言語のことはよくわからんけど、ワークメモリを適切に配分しなきゃならないASM的には先に型を固定するのは当然なのでな…。 2020/02/18
  • REV
    REV "高カ""インド型"に見えた。高い力でインド人を右に？ 2020/02/18
  • Songmu
    Songmu TDDと型付けの類似性僕もなんとなく感じていたけど、さすがのアウトプット力。後でもう一回読み返そう。理解しきれないとは思うけど。 2020/02/18
  • quick_past
    quick_past スクリプト言語ってたいてい型がガバガバなんだけど、そういう世界の人たちがどうして、プログラミングという行為全般において、パラダイムの大変換を唱えたり、なんでもスクリプトでやろうとしたがるのか不思議。 2020/02/20
もっと読む

HOT ENTRY人気ブックマークで知る

ブックマークが集まった今日の話題をチェック！

今日4/27(土)のブックマーク人気記事

もっと読む
  • App Storeからダウンロード
  • Google Playで手に入れよう
© Hatena また押してみてね