4 ms·
who is your target user? > to democratize formal software verification in order to make it much more feasible and realistic to write perfect software to me th
by nudpiedo 5y ago
who is your target user?
> to democratize formal software verification in order to make it much more feasible and realistic to write perfect software
to me that sounds like only people curious by nature or propense to try new programming languages as the language seems like an unfinished typed APL dialect, but perhaps I didn't get the idea enough.
Could you add some practical examples next to the theoretical points at each step?
- kragen 5y agoEvery language initially appeals only to people with a propensity to try new programming languages!
- smaddox 5y agoThese toy languages are not practical for general programming. Their purpose is to test and validate the formalized foundations of Dawn. Once we build up functionality nearing that of Dawn, it should be more feasible to provide practical examples that demonstrate the value of the language.