サクサク読めて、アプリ限定の機能も多数!
問題を解決するツールができても、問題そのものの難しさが変わらない罠。言語やシステムの機能をきっちり使えるのであれば、RDB設計で制約を使っているはず
atsushifx のブックマーク 2016/11/20 18:40
問題を解決するつもりでキッチリ型を付けた先にある高い壁 - ぼくのぬまち 出張版[Programming][プログラミング言語][Null安全][型システム]問題を解決するツールができても、問題そのものの難しさが変わらない罠。言語やシステムの機能をきっちり使えるのであれば、RDB設計で制約を使っているはず2016/11/20 18:40
このブックマークにはスターがありません。 最初のスターをつけてみよう!
notogawa.hatenablog.com2016/11/19
null安全おじさんになりかわりそれがしがお見せつかまつる 機械が理解できる複雑な契約の型表現がもたらすものは つまるところこのようなもの ずぶぶ(切った腹から証明オブジェクトを引き摺り出す)— Noriyuki OHK...
55 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /
問題を解決するツールができても、問題そのものの難しさが変わらない罠。言語やシステムの機能をきっちり使えるのであれば、RDB設計で制約を使っているはず
atsushifx のブックマーク 2016/11/20 18:40
このブックマークにはスターがありません。
最初のスターをつけてみよう!
問題を解決するつもりでキッチリ型を付けた先にある高い壁 - ぼくのぬまち 出張版
notogawa.hatenablog.com2016/11/19
null安全おじさんになりかわりそれがしがお見せつかまつる 機械が理解できる複雑な契約の型表現がもたらすものは つまるところこのようなもの ずぶぶ(切った腹から証明オブジェクトを引き摺り出す)— Noriyuki OHK...
55 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /