3 ms·
Very cool, this approach will inevitably catch on, I think. I built a similar typed PL and compiler for Morgan Stanley back in 2013: https://github.com/morgans
by kthielen 4y ago
Very cool, this approach will inevitably catch on, I think.
I built a similar typed PL and compiler for Morgan Stanley back in 2013:
https://github.com/morganstanley/hobbes https://github.com/morganstanley/hobbes
- chrisaycock 4y agoI read about Hobbes years ago. The embeddability certainly caught my attention. I wrote Empirical specifically for the use case of wanting to read a CSV file while inferring the type at compile time. Basically, a ton of compile-time function evaluation mixed with type providers.
- kthielen 4y agoYeah, I had this type constraint system for doing that kind of thing, so I can load a file at compile time to get the type structure and then compile/evaluate to process data in the file or files. Same thing for network connections between communicating processes (type constraints at compile-time decide a protocol, machine code at run-time assumes that protocol).