Mention123182
Download triples| rdf:type | qkg:Mention |
| so:text | The wonderful thing about dynamic typing is it lets you express anything that is computable. And type systems don’t — type systems are typically decidable, and they restrict you to a subset. People who favor static type systems say “it’s fine, it’s good enough; all the interesting programs you want to write will work as types”. But that’s ridiculous — once you have a type system, you don’t even know what interesting programs are there. (en) |
| so:isPartOf | https://en.wikiquote.org/wiki/Gilad_Bracha |
| qkg:hasContext | qkg:Context60115 |
| Property | Object |
|---|
Triples where Mention123182 is the object (without rdf:type)
| qkg:Quotation115211 | qkg:hasMention |
| Subject | Property |
|---|
