I've tended to find a lot of value in systems that have both, especially when there is automatic translation from the simple config to the Turing complete language. Lean 4's lakefiles are a good example of this, with a TOML format that is a subset of the Lean DSL format.
That's a neat pattern. It's interesting to think how many times users can auto-generate the DSL and how many times they end up having to write the DSL directly.
I’ll echo this recommendation. Peter F. Hamilton is firmly my favourite sci-fi author, and that’s a hard spot to take.
The Commonwealth Saga (mentioned by the parent) is followed by The Void Trilogy and then The Chronicle of the Fallers, all set in the same Commonwealth universe. It’s some of the most evocative writing I’ve ever heard the pleasure to read, and the stories told are massive in scale but without seeming lacking as a result.
My e-reader says that my most recent read-through was my 9th, so add that to a number done with physical books and it should give some idea of how good I consider these books!
I don’t know if nexuist found out about the Essential Air Service the same way that I did, but I learned about it today from the latest Wendover Productions video [0]. A fantastic and informative channel with high production values, if you’re not familiar.
At first it was just a project of passion, but years later and a not insignificant investment in gear, software, and other equipment has left me with a side business that nets a tidy bit of income.
It’s also something that I adore doing, and hence a massive plus. I get to mix and master a whole variety of music, from classical to ambient, to EDM, and it’s always a pleasure to work with artists whether they’re new to it all or seasoned professionals.
A good foundation for such a language would be one based on Quantitative Type Theory [0]. It’s a dependent type theory that records usage information in every typing judgement.
The Idris successor, Blodwen [1] is being based on it.
Yeah, I'm aware of Quantitative Type Theory, it's very cool! Another neat iteration is described in "Resourceful Dependent Types"[0]. I'm interested in what the Granule people are doing though - they can track usage information at the type level too. It's still non-dependent for now, but I hear that they are interested in extending it to dependent types too. They use an SMT solver to track usage information which is really neat - apparently it allows to track more interesting usage patterns than Blodwen can.
Sadly this doesn't do everything I want though - AFAIK, you can still have multiple out-standing references in linear typing [1]. I'd really like some story for uniqueness too in order to have support for in-place updates while avoiding a GC.
