3 ms·
This is all very neat, but I think Go could do all of this too, except that "query compile time" would happen on application init or on the first query or some
by weberc2 9y ago
This is all very neat, but I think Go could do all of this too, except that "query compile time" would happen on application init or on the first query or some such. Still, very cool and good work to the diesel team!
- steveklabnik 9y agoSure, and you get runtime errors instead of compile time errors. That's the point.
- weberc2 9y agoI understand; I wasn't comparing the languages, only making an observation.
- kuschku 9y agoThe whole point of an ideal type system is that if code compiles, it is provably correct and won’t have bugs. Few typesystems come close to that (Coq is one of the few languages where the system might be advanced enough), but generally you want to completely remove entire classes of errors.
- weberc2 9y agoI don't disagree, but I also don't see how our comments relate... Are you sure you meant to reply to me?
- kuschku 9y agoYes, because Go couldn’t do all that on compile, which is the entire issue. It can’t prove the type safety of your SQL query at compile time, or the type safety of your generics usage.