pwm

20 ms·

151.
by pwm 7y ago
But is equality a basic thing to define? :)
152.
by pwm 7y ago
It is a mathematical model of computation and thus it does not concern itself with practicalities like space/time complexity or ease of implementation. On the other hand pretty much all practical functional language builds on top of LC
153.
Ask HN: What shared whiteboard solution are you using as a distributed team?
2 points by pwm 8y ago|1 comments
154.
by pwm 8y ago
Sorry, I probably wasn't clear in my initial question. What I meant is how do DAG based workflows deal with computational graphs that contains cycles? Eg. we have 2 states: Cart and Payment and 2 events: PutItem and Checkout. A simple
155.
by pwm 8y ago
Thanks for the write-up, very interesting! Reading it I had a few questions: 1. How can DAG based workflows express events that are iterative in nature, ie. would result in a cycle? For example I have an empty shopping cart as a start state
156.
by pwm 8y ago
from Bill Hicks: https://www.youtube.com/watch?v=rr7QgOSmco4&t=87s
157.
by pwm 8y ago
Regarding creativity what I found over my time writing code is that you need time to do deep thinking. That’s the only way I know of to harness complexity successfully. Here is the twist: you don’t know how much time you need doing it becau
158.
by pwm 8y ago
I agree with the general sentiment just wanted to point out that "my schema is my app layer" has some valid use-cases. At my current job we deal with highly complex schemas (modelling insurance contracts). Correctness is paramount
159.
by pwm 8y ago
My then girlfriend and I went to Iceland in 2014. I proposed there, she said yes and then within a minute a huge amazing aurora lit up the sky including deep red colours and crazy waves. It was a memorable experience :)
160.
by pwm 8y ago
The historical context helps here. Monads came to Haskell to deal with IO. Once there, people realised that a whole host of things are monads under the hood, most of which are pure. The word "effectful", somewhat confusingly, is o
161.
by pwm 8y ago
> What can be more “local” than an address and why should it be subject to outside specification? This is a pretty strange statement. Ad address, in my interpretation, is an identifier that can be given to anyone without local contextual
162.
by pwm 8y ago
Apologies for the semi-off topic question and it’s not directed towards your project specifically, but why do Go projects always emphasise that they are Go projects? I never see announcements like “Foo, a C# library to do Bar”. That fact th
163.
by pwm 8y ago
I think what the parent comment referred to is that in Haskell if/then/else is an expression (like everything else) so you must by definition have to have an else “branch”. Basically it frees you from a subtle type of error.
164.
by pwm 8y ago
Completely agree. Maybe it’s because CS curricula tends to teach searching/sorting algorithms before data structures, specifically BSTs. Not sure why... If you think about it a BST defines order and a sorting algorithm achieves it so n
165.
by pwm 8y ago
Same here, Haskell in Lambda is where we want to be.
166.
by pwm 8y ago
Have you written about your daily struggles somewhere? I, for one, would be very interested reading about it as I think not nearly enough people talk about the cons/war stories when it comes to ES (or I just don't find those blogs
167.
by pwm 8y ago
The problem with LSP is that it is an incredibly hard property to prove (behavioural subtyping in general is undecidable). So in theory yes, it sounds great in practice with a sufficiently complex system good luck ensuring that you adhere t
168.
by pwm 8y ago
In my opinion no book will really teach you this, only experience. It requires going through cycles of design, implementation and subsequent evaluation of how well those fared and how to improve upon them. After repeatedly going through thi
169.
by pwm 8y ago
Any language that has null, including C++, does not fall into the category of languages with expressive type systems. As soon as you have proper sum types the null issue goes away + the whole big world of working with ADTs open up.
170.
by pwm 8y ago
Have you written programs in Haskell/F#/Ocaml? Static guarantees, especially of expressive type systems, absolutely make your code better and their benefits compound as your system gets bigger. The type checker acts as a guardian
171.
by pwm 8y ago
The system I've been working on in the past 6 months is non-trivial and written in this style. Roughly 2/3 of the code is in core and 1/3 is in shell.
172.
by pwm 8y ago
The goal is that everything in the core is pure data types and functions. Now, depending on your problem domain, your core can be small or huge compared to the shell. Your question was all about IO/effects. They are impure and belong t
173.
by pwm 8y ago
Exactly. Also once all what you have in core are types and functions then things like mocking becomes obsolete. You can just instantiate those types for real.
174.
by pwm 8y ago
Well, Hack has a lot of advanced features that is missing from PHP7. Proper data structures (vector, map, set, etc...) including immutable ones, generics and variance, async/awaitable, etc... I would love love love for all these to be
175.
by pwm 8y ago
That's fair and i don't delude myself that perfect equality exists in any meaningful sense. Continuously aspiring towards a kinder and fairer society however is a good thing.
176.
by pwm 8y ago
What’s wrong with the idea of sharing?
177.
by pwm 8y ago
The difference is that the Y combinator has a deep meaning in theoretical CS, making recursion essentially out of thin air in the untyped lambda calculus which had far reaching consequences. In contrast an AbstractFactoryFactory is pretty m
178.
by pwm 8y ago
I'll put a slightly different spin on this: At my current job the system I'm writing is in PHP (for reasons...). In its core it's all about domain modelling with some workflow sprinkled on top. Haskell would be a near perfect
179.
by pwm 8y ago
Artificial Labs | Senior Javascript/React Engineer | London, UK | Full-time | ONSITE or REMOTE We are a start-up in the InsurTech sector. Our mission is to build the most advanced and flexible machine learning enabled insurance platfor
180.
by pwm 8y ago
Agreed. There is always a point where it's the developer's responsibility to write good code, even in languages where it's very difficult to shoot yourself in the foot.

More ›