suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[icfp] db, tuning the usage conclusion

Browse Source
This commit is contained in:
ben 2016-03-08 14:13:48 -05:00
parent 8293370a80
commit 769977907a
1 changed files with 6 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
icfp-2016/usage.scrbl
View File

@ -11,16 +11,7 @@
@section{Database}
@; db
In the years since 2004, language-integrated query has been a popular
topic.
Languages like Scala, @tt{C#}, and @tt{F*} have fast and type-safe
interfaces for working with SQL databases.
@; SO WHAT ARE WE DOING HERE
@; Hey, Racket / typed Racket does not fit with the overalll story of
@; dependent-like types
@; TODO Ocaml, Haskell story
Racket's @racket[db] library provides a direct connection to the database,
modulo some important safety checks.
@ -63,3 +54,8 @@ Calls to generic operations like @racket[query-row] are then specialized to
@; - lightweight
@; - no changes to underlying library / type system
@; - compile-time validation of query strings
While light years away from LINQ, this technique provides at least basic
safety guarantees for an existing library and demonstrates the generality of
our technique.