Introducing Incremental(blogs.janestreet.com)
blogs.janestreet.com
Introducing Incremental
https://blogs.janestreet.com/introducing-incremental/?utm_source=rss&utm_medium=rss&utm_campaign=introducing-incremental
12 comments
I've been using OCaml to build a language and runtime system for cloud orchestration[0]. As part of that, I've developed an AWS library whose code is generated from the service descriptions published by boto. It will be open-sourced at some point in the future, along with a few other things that should make developing web stacks using OCaml much easier.
If you're looking to try out OCaml, I'd say the time to do so is quickly approaching.
[0]: http://www.inhabitedtype.com/
If you're looking to try out OCaml, I'd say the time to do so is quickly approaching.
[0]: http://www.inhabitedtype.com/
Great to hear, sounds like an fascinating project and look forward to trying out the AWS library. Funnily enough the project I considered using OCaml for was to build a language & runtime for container orchestration.
Yes, OCaml dev seems to be picking up again - I used to use OCaml/JoCaml a few years ago but moved to Haskell and F# in the meantime. However am very excited by the work on Flamba, multi-core and hopefully modular implicits, as OCaml always felt most natural.
Yes, OCaml dev seems to be picking up again - I used to use OCaml/JoCaml a few years ago but moved to Haskell and F# in the meantime. However am very excited by the work on Flamba, multi-core and hopefully modular implicits, as OCaml always felt most natural.
I've been learning OCaml lately and I can't help but wonder (aside from the fact that it's an ML lang) why OCaml didn't capture the infrastructure tooling space and Go did. OCaml is so much fun to write, easy to reason about and has pretty good TLS/SSH libraries. Here's to hoping OCaml grows more!
Nobody ever accused OCaml of having good marketing and sexy websites (at least before ocaml.org). And for a long time, tooling was second fiddle (for instance, the existence of a package manager is a somewhat recent addition, and the least said about the standard library, the better).
Jane Street Core has to all intents and purposes solved the standard library problem. I admit I had my doubts in the past which one of Batteries or Core would be the "winner" so avoided them both and stuck with the default standard lib, but I think anyone starting a project today should start it on Core.
This may get better with the latest OCaml, but Core-powered binaries are ginormous. And AFAIK, Core doesn't work with js_of_ocaml (and I'm not sure if it works on Windows at all).
We've made something very similar for Java/Clojure as part of Quasar: http://docs.paralleluniverse.co/quasar/#dataflow-reactive-pr...
Every Var keeps track of the inputs that affect its computed value, and has an associated continuation responsible for carrying out the computation whenever an input changes (which, in turns, triggers recomputations further down in the graph).
Every Var keeps track of the inputs that affect its computed value, and has an associated continuation responsible for carrying out the computation whenever an input changes (which, in turns, triggers recomputations further down in the graph).
Could we have a more informative title? "Incremental" means little without context.
Maybe just "Introducing Incremental: self-adjusting computations".
Maybe just "Introducing Incremental: self-adjusting computations".
[deleted]
This sounds very similar to Kenny Tilton's Cells package for Common Lisp: https://github.com/kennytilton/cells
I haven't had occasion to use Cells, but I'm glad to be reminded of it, as I may have a use for it soon.
I haven't had occasion to use Cells, but I'm glad to be reminded of it, as I may have a use for it soon.
Does this have any similarity to Goldman Sach's internal language called Slang/SecDB?
Yes, and to several other similar systems, it's another reactive graph.
One distinction is that Goldman's SecDb graph is really optimized around offline derivative pricing and risk calculations, which has always been one of the core strengths of Goldman's quant platform. There is a slight distinction between reactive graphs used for those approaches v. those that are more targeted toward real-time online applications.
In the implementation yes, minimizing single-event latency and maximizing batch throughput are largely mutually incompatible. But from a user/API standpoint, there's little difference.
How is a reactive graph different to a complex event processor? Is it the difference of pull vs push?
What is the difference between a "self adjusting computation" and a "genetic algorithm," or is it merely a choice of terminology? Here is a scholarly article that uses both in the same title: http://link.springer.com/chapter/10.1007%2F978-3-540-87734-9...
It looks like a self-adjusting computation, in the sense that Jane Street and the paper they refer to uses, is similar to functional reactive programming. It looks like you can create observable values, and create observable computations on those values. The dependency graph is dynamic, which it appears is the improvement here over other FRP designs?
Genetic algorithms are a different sort of thing, and I can see how "self adjusting computation" could be used to describe either.
Genetic algorithms are a different sort of thing, and I can see how "self adjusting computation" could be used to describe either.
Functional reactive programming is not usually incremental, while self adjusting computations are not usually reactive, which is why there isn't much overlap between the concepts. Of course, you are free to mix concepts from both as you need to.
I'm not familiar with OCaml, but this looks very similar to the reactivity model used inside web front-end libraries like Knockout, Vue.js - in which each "binding" in the template is essentially a self-adjusting computation that updates the DOM. In addition, the Tracker library in Meteor enables similar dependency-tracking computations across the entire stack. It's interesting to see this type of reactivity model used in different contexts.
This reminds me a bit of Elasticsearch Percolate (https://www.elastic.co/guide/en/elasticsearch/reference/1.6/...) a little bit.
[deleted]
I would love to see an OCaml alternative to Prophet/MoSes using stuff like this...
How is this different than lazy evaluation?
Quite different. To achieve the effects of "Incremental" you would need lazy evaluation coupled with a caching layer, so that successive calls to pure functions with same arguments are not re-computed. This optimization technique is in a sense similar to Common Subexpression Elimination.
But this is possible to do trivially using a hash keyed by the input variables. It seems to me that SAC offers an interest only in the case where:
- the input variables of the DAG are updated at a different rate
- and the result of complex subgraphs depend on only a few of these variables (and thus avoiding to recompute their result is a win)
I don't know if it's enough to get excited about.
- the input variables of the DAG are updated at a different rate
- and the result of complex subgraphs depend on only a few of these variables (and thus avoiding to recompute their result is a win)
I don't know if it's enough to get excited about.
Doesn't Haskell already do this? What is the advantage of OCaml + Incremental over Haskell?
Haskell does not do this. Haskell is lazy (computed results are shared), but Haskell does not memoize by default. To illustrate:
This avoids needing to save the results of _all_ function calls.
func y = let z = y + y
in (add 1 z) * (add 1 z)
This avoids needing to save the results of _all_ function calls.
That's a bad example, since GHC will perform common expressions elimination, which effectively give the same name to the two `add 1 z` (unless you specifically ask it not to, with `-O0`.)
Furthermore, Incremental isn't memoizing every function calls. It just keeps the intermediate results of the latest computation in memory, so that when the inputs change, it can determine exactly which subresults need a recomputation, and which can be reused. It's like Excel, but with dynamic dependencies.
(But yes, Haskell definitively does not do this. You could say that Haskell is about doing the least amount of work to compute something fresh, while Incremental is about working the least to recompute something we (almost) already computed just before.)
Furthermore, Incremental isn't memoizing every function calls. It just keeps the intermediate results of the latest computation in memory, so that when the inputs change, it can determine exactly which subresults need a recomputation, and which can be reused. It's like Excel, but with dynamic dependencies.
(But yes, Haskell definitively does not do this. You could say that Haskell is about doing the least amount of work to compute something fresh, while Incremental is about working the least to recompute something we (almost) already computed just before.)
A better example might have been
func (f (add 1 z), f (add z 1))
Actually, that's an interesting question. Having built similar systems before, the main reason why you would not simply run a function every time your input is updated is that you often need for your computations to keep a certain amount of state, which may depend on the input. However, as Incremental does not seem to support much in the way of stateful computations, I'm a bit puzzled wrt to what problem it addresses.
Am I the only who could can't find the RSS feed for that blog? Pretty strange for a tech blog to only allow subscriptions via email.
I had no idea RSS was still expected... (Not trolling just surprised)
How else would you follow blogs? Do you visit 20+ blogs to see if they've been updated recently?
to be honest, and it's not a defensible position now that I write it out loud, but I wait for your blog post to get to HN. I have not yet found people whose writing I find compelling enough and do not either mail me or end up on HN.
Possibly I see my inbox as an RSS feed (I subscribe, you send me mails)
Possibly I see my inbox as an RSS feed (I subscribe, you send me mails)
if everyone would think like you, almost nothing would end up on HN
Not parent, but I visit about 6, yeah. What should I be using instead? Setting up RSS feeds seems like a pain.
The kind of pain you can be over with in 10 minutes, with minimal "click to add" moves...
feedly.com is fantastic. Not sure what's painful about setting up an RSS feed. Just paste the URL in once.
Agreed. A worthy successor to google reader.
Not having RSS is a pain. I follow blogs that update every couple of months. Do I want to keep checking? Hell no.
Not having RSS is a pain. I follow blogs that update every couple of months. Do I want to keep checking? Hell no.
I use websec for a few such blogs, it emails me the content and even highlights the changed parts in the page.
It's a program I inherited after it was abandoned and did some maintenance on so I'm biased, I haven't updated it for a long while now and for a time even wrote a python alternative since I actually dislike Perl.
It can be found at http://baruch.ev-en.org/proj/websec/
It's a program I inherited after it was abandoned and did some maintenance on so I'm biased, I haven't updated it for a long while now and for a time even wrote a python alternative since I actually dislike Perl.
It can be found at http://baruch.ev-en.org/proj/websec/
> Setting up RSS feeds seems like a pain.
What seems painful about it for you? IMHO handling feeds is only painful if you have/want to switch readers or if you want to browse old archives. Other than that, you just drop a blog URL in your reader and it gets you the updates.
What seems painful about it for you? IMHO handling feeds is only painful if you have/want to switch readers or if you want to browse old archives. Other than that, you just drop a blog URL in your reader and it gets you the updates.
I created http://slicedham.co so that you can subscribe to multiple blogs on software dev. It pulls from the blogs listed here, https://github.com/kilimchoi/engineering-blogs
Less noise than Feedly. I wish it had comments. You should add that :D
You can use Firefox's Live Bookmarks, which get updated every time you open the bookmark. To add an RSS feed, just go the feed page and take a look at what's on top of the page, it should be easy to understand.
They'd have good content upvoted on a news aggregator.
In my blog I support RSS and twitter to give people a choice.
From the source: <link rel="alternate" type="application/rss+xml" title="Jane Street Tech Blogs » Introducing Incremental Comments Feed" href="https://blogs.janestreet.com/introducing-incremental/feed/" />
Have been thinking about using OCaml again for a new project - does anyone know the state of libraries for common web tasks, like AWS, these days?