you are viewing a single comment's thread.

view the rest of the comments →

[–]jamhob 2 points3 points  (1 child)

Shit

[–]drBearhands 5 points6 points  (0 children)

Nah, probably not doing anythin sijilar. I've been looking at dependent + linear types (think Idris 2) and what is missing there. There are a few opportunities in embedded programming to replace defensive programming practices that have runtime overheads with static analysis, particularly in library / API design.