Zalastax

10 ms·

31.
by Zalastax 8y ago
I don't think the undo feature is built out well enough for it to be a great idea for you to switch to it. I tried to build an undo tree and saw that there is a granularity mismatch between the internal stack and yours. I think the API
32.
by Zalastax 8y ago
Yeah that's a better one (which I think is discussed (or a similar one) in Theorems for free!), but the wording of OP weasels itself out of that being a problem. > any `b` in the result list _must_ have come from applying the functi
33.
by Zalastax 8y ago
When discussing Haskell and theorems about its types it's common to simply ignore non-termination; if we don't ignore non-termination there's basically nothing we can say about Haskell programs at all. Interested readers shou
34.
by Zalastax 8y ago
TypeScript supports doing that as well :) https://github.com/Microsoft/TypeScript/wiki/Type-Checking-J...
35.
by Zalastax 8y ago
Instead of downvoting I'd love if you could reply instead...
36.
by Zalastax 8y ago
> I had this implemented for a very brief period of time (for ethical reasons) and then moved to one of my disposable domains where it still runs after five years and ranks really well, though for completely different search terms. Am I
37.
by Zalastax 8y ago
How does it compare to using TSLint?
38.
A Very Small SAT Solver(cse.chalmers.se)
4 points by Zalastax 8y ago|0 comments
39.
by Zalastax 8y ago
> One would be hard pressed to find a single priced good or service on this planet that doesn't respond to energy prices. You don't have to look further than Bitcoin. The cost of producing Bitcoin is primarily the cost of waste
40.
by Zalastax 8y ago
The thing is that the act of mining isn't actually providing any value, it just proves that you have wasted some amount of processing power. This is called proof of work and is a system set in place so that bad actors can't take c
41.
by Zalastax 8y ago
The post is not about whether this is a good choice for its users; the post is about whether there are nathematical objections to it. The author even writes that they don't agree with the engineering decision to define it like that,
42.
by Zalastax 8y ago
In Agda you have the choice of either making it truncate at 0 or constrain the domain to (a - b, a >= b) in which case you don't hve to define the function when a < b. This of course is only suitable for theorem proving at the mo
43.
by Zalastax 8y ago
It only matters in a positive sense. Being written in TypeScript signals that it uses modern features that makes the code easier to read, that it doesn't use too many strange dynamic features, and of course that there are type definiti
44.
by Zalastax 8y ago
Cool! How does it compare (in vision and features) to p5.js and pixi.js?
45.
by Zalastax 8y ago
Mailbox types for unordered interactions require manual management of mailboxes (new/free) but the type system guarantees that you can't free a mailbox with messages still in it. Garbage collection is probably possible but it seem
46.
by Zalastax 8y ago
Thanks for the details! The question about channels stems from the fact that in pi-calculus it's possible to have different processes read from the same channel - making it unsuitable for distribution. Your implementation of channels s
47.
by Zalastax 8y ago
I don't quite get how messages and method calls interact. Could the process intercept the method call by explicitly receiving or somehow influence the process module to do something else? Channels are a great idea! What capabilities (s
48.
by Zalastax 8y ago
At a quick glance it seems like you're adopting the Active Objects model, is that correct? What are your thoughts on protocol safety? Methods being static mean that we can't guarantee protocol adherence, but perhaps that's ov
49.
by Zalastax 8y ago
Manually writing Enzyme tests looks dumb to me but what about Jest snapshots? Their only purpose is to detect changes to prevent accidental behaviour changes. There's very little work that needs to be done to maintain those tests so I
50.
by Zalastax 8y ago
I find this resource confusing and annoying to read. When performing my thesis research I wasted a bunch of time trying to make sense of Hewitt's writing. I think a big problem is that the term "actor model" is so overloaded
51.
by Zalastax 8y ago
It looks like they're on the right path! Seems pragmatic and usable. Personally I don't think Scala is the right tool for the job. Once we figure this out we should design a special purpose language - this is too complex to expose
52.
by Zalastax 8y ago
That warms my heart!
53.
by Zalastax 8y ago
My Master's Thesis is about this topic! The related works section mention some languages that get fairly close to being actors with types (e.g. Pony), but you're right that we're not there yet. The tricky thing is that we nee
54.
by Zalastax 8y ago
Yes! Changing available methods/consuming data terms are virtually the same - the former can be modelled as having methods consume their object and returning a copy of it that has another type. My background is in distributed systems a
55.
by Zalastax 8y ago
The problem with classes is that an object's available methods can change over time. E.g. a file object should not have a write method after having been closed. Ongoing research is trying to fix this problem (see Scribble, mailbox type
56.
by Zalastax 8y ago
Chasing those numbers can be a fools game. I've seen money going down the drain because stakeholders wanted to stroke their egos. Instead of staying lean, and since there was money in the company to burn, a big sum was spent on ads to
57.
by Zalastax 8y ago
The nice thing is that you can actually build stuff like web servers in a total language :) Using something called co-induction a total language can model things that are potentially infinite, e.g. a web server. Co-induction replaces the re
58.
by Zalastax 8y ago
Yes, it's possible but might require a lot of effort. For example, my thesis was about creating a system where actors send messages to each other and the system guaranteed that you could not send messages with an unexpected type to ano
59.
by Zalastax 8y ago
Verified Functional Programming in Agda is the best Agda resource available, but studying Idris via Type-driven Development with Idris will net you very transferable insights. These are research languages, so the ideas are extremely interes
60.
by Zalastax 8y ago
Neat! Very interesting ideas! The Vacuum package[1] seems like something you could look into if you want to explore Haskell. Good luck with your project! [1]: https://hackage.haskell.org/package/vacuum

More ›