User loginNavigation |
CUE: An open-source data validation language
The application of set-theoretic types is getting more and more mainstream as they turn out to be very effective in (partially) typing dynamic languages (i.e. Typescript). Other popular examples are Scala(3) and Kotlin, together with other (less mainstream) examples such as Ceylon, Typed Racket and the Avail programming language. I've dabbled in Avail a few years ago, and was very impressed by Avail's type driven compiler, but not so much by its (extreme) DSL support. In contrast to Avail, I believe CUE is much more pragmatic while not allowing any 'tactical' compromises. CUE has its origins at Google: the ability to compose CUE code/specifications is really useful at the scale that Google operates. The creator of CUE - Marcel van Lohuizen - has recently quit his job at Google to become a full-time developer of CUE. I think Marcel has created something really interesting, so I understand his decision! By Robbert van Dalen at 2021-12-19 11:11 | LtU Forum | previous forum topic | next forum topic | other blogs | 2667 reads
|
Browse archivesActive forum topics
|
Recent comments
1 hour 18 min ago
6 days 7 hours ago
6 days 7 hours ago
1 week 3 days ago
2 weeks 10 hours ago
2 weeks 14 hours ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 4 days ago