TypedJS: Sanity Check your JavaScript

by unignorant • 14 years ago

68 20 14 years ago

timothya• 14 years ago

Interesting, but if I wanted to get this sort of validation I'd just use Google's Closure Compiler. It supports validating types and also lets you do things like casting variables to different types. And the annotation method is pretty clear, flexible, and easy to understand.

silentOpen2• 14 years ago

What is the license that is free for non-commercial use? Static type checking is nice but implementation in a non-statically-type-checked language is unfortunate.

glymor• 14 years ago

At first glance this is a fuzz generator not a type checker.

TeamMCS• 14 years ago

Interesting idea but I'd hate to maintain that.

perfunctory2• 14 years ago

From their home page example

if(obj.valid === true) {

I would flag this line as an error.

inimino2• 14 years ago

Why? obj is specified by the type annotation to be an object with a property 'valid' that is a Boolean, so what's the problem?

perfunctory2• 14 years ago

I just don't like this style very much. It's better to write

if (obj.valid) {

wyuenho• 14 years ago

How much performance hit would it costs, and is there a companion tool that I can remove only those comments with types?

kevingadd• 14 years ago

It would be more interesting if you could also use the annotations to type-check at runtime (optionally). That way if the annotations diverged from the actual code, you'd find out.

zoka• 14 years ago

The add_all() function as presented on their web page is wrong,instead of adding the array elements it just returns the last one.

Line 180 should be: count += num_arr[i];

Moreover naming accumulation variable for sum "count" is totally counter intuitive.

secoif• 14 years ago

Please don't use non-commercial licences: you are greatly limiting the number of people who can afford to contribute to your project.

spacemanaki• 14 years ago

Furthermore I don't think CC licenses are meant to be used for code: http://creativecommons.org/software

cromwellian• 14 years ago

I think Closure Compiler is a lot more useful than this. You get type checking, but you also get best of breed optimization/minification too.

You don't get the automatic runtime test generation stuff, but that's more along the lines of an add-on utility like Quickcheck/Scalacheck.

silentOpen2• 14 years ago

Can the implementation be typed? https://github.com/Proxino/TypedJS/blob/master/typed.js

tbassetto• 14 years ago

I never saw someone using "nil" in JavaScript (even in a comment). I guess the author has a Ruby background.

TypedJS: Sanity Check your JavaScript

Related Stories