問題を解決するツールができても、問題そのものの難しさが変わらない罠。言語やシステムの機能をきっちり使えるのであれば、RDB設計で制約を使っているはず

atsushifxatsushifx のブックマーク 2016/11/20 18:40

その他

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

問題を解決するつもりでキッチリ型を付けた先にある高い壁 - ぼくのぬまち 出張版

    null安全おじさんになりかわりそれがしがお見せつかまつる 機械が理解できる複雑な契約の型表現がもたらすものは つまるところこのようなもの ずぶぶ(切った腹から証明オブジェクトを引き摺り出す)— Noriyuki OHK...

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

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