• 人気のコメント(9)
  • 全てのコメント
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 リスト

kamemoge kamemoge 数式出てきて死んだ

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 リスト

関連記事

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

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

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

  • devilune2020/03/22 devilune
  • kuyata2020/03/11 kuyata
  • griefworker2020/03/09 griefworker
  • todesking2020/02/29 todesking
  • Cliche2020/02/26 Cliche
  • astk_f2020/02/26 astk_f
  • d-hayashi2020/02/25 d-hayashi
  • arx0balest2020/02/24 arx0balest
  • efcl2020/02/24 efcl
  • mizdra2020/02/24 mizdra
  • lugecy2020/02/24 lugecy
  • cou9292020/02/24 cou929
  • taka_sek2020/02/22 taka_sek
  • ys00002020/02/22 ys0000
  • takaheraw2020/02/21 takaheraw
  • kyo_ago2020/02/21 kyo_ago
  • kat212020/02/21 kat21
  • tachibanana382020/02/21 tachibanana38
すべてのユーザーの
詳細を表示します

いま人気の記事

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

新着記事 - テクノロジー

同じサイトの新着

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

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

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

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