-
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
The cost for this is that programs with type errors must still be specified to have a well-defined semantics. That in turn means that you can't hang useful language features off static types.
For example, TypeScript explicitly declares as a design goal that they don't use the type system to generate different code:
https://github.com/Microsoft/TypeScript/wiki/TypeScript-Desi...
Meanwhile in Dart, you can write:
double d = 1;
Related posts
-
TypeScript: why you shouldn't throw errors to control the program flow
-
Question about error handling in Typescript
-
Any good source-to-source compiler guides?
-
How to use advanced Typescript to define a `pipe` function
-
Why doesn't typescript have a throws type to annotate functions that can throw an error?