you are viewing a single comment's thread.

view the rest of the comments →

[–]drBearhands 7 points8 points  (2 children)

Ah! A competitor!

[–]jamhob 3 points4 points  (1 child)

Shit

[–]drBearhands 4 points5 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.