The infernu package
This version is highly experimental and may set your computer on fire (also, a lot of JS is not supported yet, so it may not be very useful.)
Infernu's type system is designed for writing dynamic-looking code in a safe statically type-checked environment. Type annotations are not required (though they would be nice to support, for various reasons). Instead, Infernu *infers* the types of expressions by examining the code. If the inferred types contradict each other, Infernu reports the contradiction as an error.
See the .md files included in the package for more information.
[Skip to Readme]
|Dependencies||base (>=4.6 && <5), containers, digits, either, fgl, infernu, language-ecmascript, mtl, optparse-applicative, parsec, transformers [details]|
|Copyright||Noam Lewis, 2014-2015|
|Source repository||head: git clone email@example.com:sinelaw/infernu.git|
|Uploaded||Sat Apr 18 22:53:53 UTC 2015 by NoamLewis|
|Downloads||276 total (5 in the last 30 days)|
|Status||Docs available [build log]
Last success reported on 2015-04-19 [all 1 reports]
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
For package maintainers and hackage trustees