Re:Rasa: Extremely modular text editor built in Haskell
by saosebastiao on Sunday January 15, 2017 @01:17PM
(#13405411)
You mean it's impossible to have compile time type safety of sql queries, and that the compiler can't tell the difference between an SQL string and any other string? You're wrong.
http://underscore.io/blog/posts/2015/05/28/typechecking-sql....
Re:Rasa: Extremely modular text editor built in Haskell
by mpweiher on Sunday January 15, 2017 @02:25PM
(#13405837)
No, I most emphatically did not say (or mean) that it is impossible to check this statically. I am saying that this is first a modeling problem, you need to have a model for your SQL. You know, things like
SqlStreamingAction[Vector[(String, Int)],(String, Int),Effect]
And yes, some languages allow you to decompose compile-time strings into model objects. Still requires you to have a model first, and I have to admit I prefer not having magic strings, but rather have polymorphic identifiers: http://objective.st/URIs
I see your "nope" and raise you a "nope, not at all". A lot of these errors have relevant information modeled as strings. Your static type checker is only going to tell you that these are two strings, and yes, they happen to be compatible. Congratulations!
Oh, you meant that these things (like SQL statements) should not be represented as strings? And that that modeling should include semantically distinct entities for user strings (need quoting) and SQL syntax (not quotes)? That's modeling, whether you do static type checking or not.