julienv

3 ms·

1. 1.▲
   SKDB(skdb.io)

   1 points by julienv 5y ago|1 comments
2. 2.▲
   by julienv 5y ago

   The SQL database that tells you when your query results changed
3. 3.▲
   by julienv 5y ago

   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, but in pseudo code: collect { // Some code
4. 4.▲
   by julienv 5y ago

   Thanks! You can try the version in the site for testing if you want! If you want to build something, let us know!
5. 5.▲
   by julienv 5y ago

   That's what SQLive is written in. Hence the name SkipLabs!
6. 6.▲
   by julienv 5y ago

   Fixed! thanks!
7. 7.▲
   by julienv 5y ago

   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 OSS project looks dead. We might op
8. 8.▲
   by julienv 13y ago

   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 type-inference without loosing separate compilation in Hack.
9. 9.▲
   by julienv 13y ago

   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 affecting the runtime. Modest changes for now, but we intend to ca