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 | 3370 reads
|
Browse archives
Active forum topics |
Recent comments
23 weeks 42 min ago
23 weeks 4 hours ago
23 weeks 4 hours ago
45 weeks 1 day ago
49 weeks 3 days ago
51 weeks 12 hours ago
51 weeks 12 hours ago
1 year 1 week ago
1 year 6 weeks ago
1 year 6 weeks ago