Zalastax

5 ms·

1.
by Zalastax 3y ago
I would also like to understand better. But it seems like it is visual effects that is meant. These tools were mentioned by name: https://www.kabaretstudio.com/ https://prism-pipeline.com/
2.
by Zalastax 3y ago
Is there not full or at least partial overlap between the 44 % and the 26 %? Which would mean not 70 % but some smaller number?
3.
by Zalastax 4y ago
Euclidean rythms are well supported in the Tidal Cycles family of live programming environments. Here's a demo that you can play with online: https://strudel.tidalcycles.org?fTGy0eTiAUox Which I took from its examples in th
4.
by Zalastax 4y ago
Interesting! I suppose one could prepare for that by having a second profile with just a few questions solved?
5.
by Zalastax 5y ago
You may find my MsC thesis, link in profile, interesting! If I remember my writing correctly, I have similar reflections on CSP.
6.
by Zalastax 5y ago
My view on 2 is that you get into a quite different mindset when you program actors, compared to objects. For starters, since each actor is scheduled separately, it becomes routine to not assume too much about the internal state of the acto
7.
by Zalastax 6y ago
Natural body of water!
8.
by Zalastax 6y ago
Yes, it's super difficult to limit the receiving end. If you use a mailbox type, it quickly needs to handle basically all shapes of data. Session types or similar are needed to get all guarantees we want but are super complicated. I lo
9.
by Zalastax 6y ago
We're working on a gradual type system for Erlang which also works quite okay for Elixir: https://github.com/josefs/Gradualizer/ .
10.
by Zalastax 7y ago
A pretty simple program that fools your brain is one testing the Collatz conjecture: https://cs.stackexchange.com/a/44875 Or did you mean something else?
11.
by Zalastax 7y ago
Totally agree. I think that locality is what separates true functional programming from languages where some of functional programming features have been added on top. Immutability and types that track effects are means of achieving localit
12.
by Zalastax 8y ago
Sure, but my point still stands: figuring this out doesn't require arcane knowledge, contrary to what was suggested. The code inside the expression looks like standard JS. The downvotes and your reply suggests I should have communicate
13.
by Zalastax 8y ago
It looks like fairly standard JS to me. I don't know where to read about it but there are some details on the deprecation blog article: https://blogs.msdn.microsoft.com/ie/2008/10/16/ending-expres...
14.
by Zalastax 8y ago
But that's not how one should read "that is". The author should have used "e.g." here, no question. Using "i.e." would imply that there exists only one nondeterministic function in MySQL, which is not the
15.
by Zalastax 8y ago
I touched on this in my MSc thesis [1], see section 2.6 and 3.4.1. The original CSP can only work if you stay on a single machine. You can have channels in a distributed setting but you need to make the reading capability of a channel limit
16.
by Zalastax 8y ago
We're adressing the lack of static typing with the Gradualizer project. It's not ready for prime time yet but I find it very promising. https://github.com/josefs/Gradualizer
17.
by Zalastax 8y ago
Your point still stands but, since the field has so many terminologies that are conflated, I wanted to let you know that "active objects" is a specific kind of actor model and Erlang is not an instance of that model. Active Object
18.
by Zalastax 8y ago
Sure,and lots of codebases are completely untyped. I find it great that you can opt out of the theorem proving that type checking is when crunch time comes. As such it functions as a loan and your organization should strive to pay back the
19.
by Zalastax 8y ago
I instead proclaim that it brings you the best of both worlds. Finding the right mix of static/dymamic is a balance act but if you do so you get the benefits of static types (safety, documentation, tooling) and dynamic types (fast prot
20.
by Zalastax 8y ago
Gradualizer supports Elixir. It will move into beta soonish :)
21.
by Zalastax 8y ago
You want reproducibility, the results will be affected a lot by your data source, real citations enable tools like google scholar. Why not cite? I see only drawbacks in continuing with the footnote/no citation trend.
22.
by Zalastax 8y ago
Can you expand on what you mean? What is "the matrix model of computation" and "vectors of unity"? Which actor model are you talking about? The variants are very different and Hewitt's original paper is mainly refer
23.
by Zalastax 8y ago
It's the frequency illusion (also known as the Baader-Meinhof phenomenon). https://rationalwiki.org/wiki/Frequency_illusion
24.
by Zalastax 8y ago
They are very useful if you follow the philosophy of Erlang: let it crash. It's really important to get easy to understand distributed systems. A good introduction: https://learnyousomeerlang.com/supervisors
25.
by Zalastax 8y ago
As far as I know Pony doesn't yet have a distribution story so supervision might not be priority for the maintainers yet. However, since Pony is an "Active Objects"-language, every actor in Pony is essentially an instance of
26.
by Zalastax 8y ago
It's possible if you have dependent types and are not afraid to (ab)use the type system. See section 2.4 of my thesis (link in bio) for a taste. You have to squint a bit but a system like that can ensure linearity.
27.
by Zalastax 8y ago
You could just assert that i%2 == 0 via some postulate - as long as the proof is irrelevant for the code that is. Doing so is similar to converting from any in a gradual type system: if the assertion is correct you get correct code with lit
28.
by Zalastax 8y ago
But is it though? If your objects are immutable I agree but if you have setHeight and setWidth I don't.
29.
by Zalastax 8y ago
Just to join the choir, in Swedish they're para nuts as well.
30.
by Zalastax 8y ago
Thanks, I did not know that! TypeScript can do type refinements based on the flow (e.g. a null check refines a type with null to one without) but can't do what you just showed. Are there any tools that can emit the inferred types to so

More ›