記事へのコメント38

    • 人気コメント
    • 新着コメント
    Cherenkov Cherenkov 型を書くのはテストを書きながらやるのと同じてことか

    2021/09/01 リンク

    その他
    griefworker griefworker 「型は論理式、実装は証明」

    2020/03/09 リンク

    その他
    efcl efcl ⊥型について

    2020/02/24 リンク

    その他
    mizdra mizdra 良い / 前半は何故型は仕様であると言えるのかを理論的に説明し,後半では仕様としての型の表現力の限界と表現力向上の取り組みについて紹介している

    2020/02/24 リンク

    その他
    quick_past quick_past スクリプト言語ってたいてい型がガバガバなんだけど、そういう世界の人たちがどうして、プログラミングという行為全般において、パラダイムの大変換を唱えたり、なんでもスクリプトでやろうとしたがるのか不思議。

    2020/02/20 リンク

    その他
    zyzy zyzy 最近型理論系の話題があんまり上がらなくなってた所に、久々にまとめとして来た感。話題が一周しだした。

    2020/02/20 リンク

    その他
    toitoitoi2718 toitoitoi2718 “variable”

    2020/02/19 リンク

    その他
    tomomii tomomii エントリ中の筆者コラムが読者にやさしい。スライドのサブタイトルにウフっとなりました

    2020/02/19 リンク

    その他
    hamamuratakuo hamamuratakuo 圏論じゃ~!出会え、出会え~~~!! "カインドは, 型コンストラクタの型のことです.  高カインド型 圏論的なものをコードに落とし込めれば強力な抽象概念を記述でき, 「仕様としての型」の幅がだいぶ広がります."

    2020/02/19 リンク

    その他
    Appakun Appakun “「型とはメモリ上のデータの扱い方を区別するためのもの」のような説明を目にするかもしれません. しかしこれは「データ型」の側面しかとらえておらず, ALGOLの系譜に偏った見方です. ” コラムよい

    2020/02/19 リンク

    その他
    Cald Cald 宇宙も型/形をもつシステムで、型/形が生まれたゆえに物理制約(仕様)が生まれたとかで、宇宙論まで展開する型ファースト宇宙論者と、神様はいないので仕様も後付けの計算ファースト宇宙論者と論争、まで妄想した。

    2020/02/19 リンク

    その他
    tick2tack tick2tack 全部を理解できないけどつまみ読みでもおもしろい。Scalaの話多いのでありがたい。/“型システムは自由と安全のバランスの下に発展してきた”

    2020/02/19 リンク

    その他
    chintaro3 chintaro3 GJ

    2020/02/19 リンク

    その他
    maharada maharada 鬼滅の刃の話ではなかった

    2020/02/19 リンク

    その他
    dwarfjp dwarfjp 型あり言語だとスゴく守られてる感があって安心して開発を進められるんだけど、型なし言語をメインでやってる人ってそういう感覚無いのかな?Rustなんて過保護すぎて最初はコンパイル通すのも大変だよww

    2020/02/18 リンク

    その他
    Songmu Songmu TDDと型付けの類似性僕もなんとなく感じていたけど、さすがのアウトプット力。後でもう一回読み返そう。理解しきれないとは思うけど。

    2020/02/18 リンク

    その他
    nanika-sheila nanika-sheila 組み込みを先にやっていたので"型がない"の意味が最初わからなかった。型なし使える分野では、型は仕様って認識がない場合もあるのか。/個人で書くときは適当だけどね!

    2020/02/18 リンク

    その他
    REV REV "高カ""インド型"に見えた。高い力でインド人を右に?

    2020/02/18 リンク

    その他
    natu3kan natu3kan 分野やモノによっては、ある程度自動でやってくれたり、その形式しかないみたいなのがあるから意識しないのはあるかも。

    2020/02/18 リンク

    その他
    wata88 wata88 良い

    2020/02/18 リンク

    その他
    sakuragaoka99 sakuragaoka99 ガンダムじゃないのか

    2020/02/18 リンク

    その他
    tarchan tarchan >何を証明したいか決めずに証明を書くヤツはいない

    2020/02/18 リンク

    その他
    mukaken mukaken “型ファーストが重要な理由をつきつめていくと, Curry-Howard同型対応があるからだなぁという結論に至った”

    2020/02/18 リンク

    その他
    qawsklp qawsklp デバッグ大変そう‥

    2020/02/18 リンク

    その他
    h3poteto h3poteto 良き

    2020/02/18 リンク

    その他
    lunastera lunastera “何を証明したいか決めずに証明を書くヤツはいない”

    2020/02/18 リンク

    その他
    satomi_hanten satomi_hanten 計算ファーストにしたいと思うコードを書くことはほとんど無いけど、そやなぁ。

    2020/02/18 リンク

    その他
    yarumato yarumato “型ファーストと, 型なし言語でテスト駆動開発(TDD)するとき最初にテストを書くのは同じ。型ファーストが重要な理由をつきつめていくとCurry-Howard同型対応(型は論理式で式は証明)があるからという結論”

    2020/02/18 リンク

    その他
    tettekete37564 tettekete37564 スクリプト言語に遅い攻撃といい、なんというか世代が数巡してるんだなあって感想

    2020/02/18 リンク

    その他
    ysync ysync 高級言語のことはよくわからんけど、ワークメモリを適切に配分しなきゃならないASM的には先に型を固定するのは当然なのでな…。

    2020/02/18 リンク

    その他

    人気コメント算出アルゴリズムの一部にヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    関連記事

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

    How do you imagine a building? You consciously create each aspect, puzzling over it in stages. In...

    ブックマークしたユーザー

    • Cherenkov2021/09/01 Cherenkov
    • daido19762021/08/29 daido1976
    • rrreeeyyy2021/02/24 rrreeeyyy
    • thotentry_hatebu1972020/12/11 thotentry_hatebu197
    • teitei_tk2020/06/11 teitei_tk
    • nabeatsu12020/06/10 nabeatsu1
    • jazzanova2020/06/10 jazzanova
    • yuiseki2020/06/10 yuiseki
    • qurorokun2020/06/02 qurorokun
    • spinningplates2020/05/28 spinningplates
    • hbKOT2020/05/21 hbKOT
    • topporo2020/05/03 topporo
    • devilune2020/03/22 devilune
    • griefworker2020/03/09 griefworker
    • todesking2020/02/29 todesking
    • astk_f2020/02/26 astk_f
    • d-hayashi2020/02/25 d-hayashi
    • arx0balest2020/02/24 arx0balest
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    りんご箱*2個*新品*ウォールナット サイズ、個数オーダー可能 ナチュラル 北欧 アウトドア おもちゃ 収納ボックス | iichi ハンドメイド・クラフト作品・手仕事品の通販

    1 user https://www.iichi.com/

    血中コレステロールを下げるならサンスターの【緑でサラナ】 - 旬な美的日記

    16 users https://www.misumitomo.com/