Post #3213186
2023-11-03 22:38 UTC
@gsuberland@chaos.social @thephd@pony.social I think with some abstraction you could get something that still has fairly direct control without being such a massive pain. Though with how complicated the capabilities of modern hardware are, I don't know if you really can offer direct control to whole hardware without a resulting in a massive cognitive load anyways.
Though yeah, for stuff like formal verification it would help, especially if you write up a decent language on top of it as you then can verify statements upon it, which would be useful.
Replies (1)
-
@gsuberland@chaos.social 2023-11-03 22:45
@ignaloidas@not.acu.lt @thephd@pony.social that's kinda what I was getting at with the original question. in my head I can roughly envision a language that looks and feels high-level in terms of syntax and expressivity, but which relies on annotations and attributes to specify certain architectural behaviours (with an inheritance model to allow varying platform specificity) but it seems like it would be difficult to build something in a way that is both sufficiently flexible and not tedious to use.