ulysses4ever

5 ms·

1.
Was simplified subsumption worth it for industry Haskell programmers?(old.reddit.com)
7 points by ulysses4ever 4y ago|0 comments
2.
by ulysses4ever 5y ago
It does have similar formulation but the setting is completely different. Types in Julia are not the same thing as types in statically typed languages with dependent types. In those languages you can elegantly declare the connection between
3.
by ulysses4ever 5y ago
You can use Unions, and in fact that's what Julia do. The issue is performance -- that's what the paper advocates: stable (grounded, more precisely) functions are a clear cut in terms of optimization. Unstable ones is a lottery (s
4.
by ulysses4ever 5y ago
I absolutely agree that providing a tool to _assert_ stability (just like usual @assert) would be great. We thought about it when writing the paper but never got to device anything like that. For smooth integration, that would probably requ
5.
by ulysses4ever 5y ago
In the paper, we provide several thoughts, including one example, when type _in_stability actually makes sense. In particular, the example concerns a typical `parse` function, that converts a string into an AST node. Assuming you have one s
6.
by ulysses4ever 5y ago
That's my bad then. I think I might have thought Zenodo link would be enough. But now I think it's a bad idea. Probably will add the GH link in an update.
7.
by ulysses4ever 5y ago
Hey! we're tracking JET.jl and think that it's great already and may become even better. We hope to base some of our future stuf off it. Some of us (not me) actually work on a trait design. Multiple inheritance -- not so much: we
8.
by ulysses4ever 5y ago
This may require more thinking on our end but the way we design Jules is the usual SSA form. The idea being it's easier to reason about it (and prove things) when every expression has a name. It's a bit of cheating of course but m
9.
by ulysses4ever 5y ago
Your intuition is right but _every_ expression is bound by a variable in this representation.
10.
by ulysses4ever 5y ago
I think the link's supposed to be in the text but the repo is here: https://github.com/prl-julia/julia-type-stability There's a PDF there explaining how to get started with it and repro the graphs but it shou
11.
by ulysses4ever 5y ago
You're quite right about the organic nature. The story of how we get together could be better told by our prof, Jan Vitek, I guess. But in a nutshell, one of his older students (Ben, also an author of the paper) was once on a plane wit
12.
by ulysses4ever 5y ago
Author here. AMA!
13.
by ulysses4ever 6y ago
Fleets of servers suffer from constant “configuration drift”, making any incremental change to their state hazardous. Will an upgrade that worked yesterday work today? Will it work for you if it worked for me? We’re never quite sure… The so