And why would this be broadly useful? Even Prolog doesn't go this far, and languages like Idris, Haskell (with its numerous GHC extensions), and C++ with its proposed concepts are the exception, not the norm, when it comes to having any significant level of built-in formal verification/proof checking. -----
Isiah Meadows [email protected] www.isiahmeadows.com On Wed, May 9, 2018 at 9:58 AM, Abdul Shabazz <[email protected]> wrote: > See my prior thread: > > https://esdiscuss.org/topic/proposal-inline-javascript > > > -- > Abdul S. > > _______________________________________________ > es-discuss mailing list > [email protected] > https://mail.mozilla.org/listinfo/es-discuss > _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
