Viewing profile — julienv

The SQL database that tells you when your query results changed

Well, imagine your type-system was able to tell you exactly what roots are mutable in what scope. Now you can run a garbage collection on a single scope. That's not how it works, b…

Thanks! You can try the version in the site for testing if you want! If you want to build something, let us know!

That's what SQLive is written in. Hence the name SkipLabs!

Fixed! thanks!

It's still very much used at SkipLabs. In fact, it's the language that SQLive is written in: http://sqlive.io Unfortunately, we use a proprietary fork of SKIP, so that's why the OS…

There seem to be 2 questions here: 1) Is Hack type inference total? Answer no: you must annotate parameters and return types. It would be pretty much impossible to implement total …

Yes and no. Yes, because TypeScript is bringing a type-system to a dynamically typed language and so did Hack. No: because Hack is bringing some additional language features affect…