JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
Help me find a name for a JS type inferer and checker
I'm trying to find a name for my project. It's a practical tool for inferring types and statically verifying JavaScript code. The type system is designed to support a safe subset of JS.
See:
https://noamlewis.wordpress.com/2015/01/20/introducing-sjs-a-type-inferer-and-checker-for-javascript/
Sign in to Google
to save your progress.
Learn more
* Indicates required question
What's a nice name for a JS type inferer and checker?
*
Choose all names that you like. The names are in random order. (Ignore the .js suffix if you don't like it, or add one in your mind if you think it's missing)
munch
typesaver
intype
infer.js
lintype
type.js
check
untypo
nolet
confer
sane.js
nodyn
newty
unscript
typo
entypen
antic (A Noam's Type Inference and Checker :)
emtypen
verity
static.js
Laminar
tinfer
lentil
inferno
fertile
inferity
honest
ferit
Safe JS (current name)
dyno
letype
entype
saner.js
typem
verinfer
insane.js
Noam's Type Checker
infoo
infy
ferti.js
nifty
fertoo
Other:
Required
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google.
Report Abuse
-
Terms of Service
-
Privacy Policy
Forms