Anything truly innovative is likely to be on the impractical side, whether academic or otherwise.<p>But if you&#x27;re looking for technology that&#x27;s just making the transition from academic to practical, check out Idris, as one of the comments suggests.