pwm

23 ms·

181.
by pwm 8y ago
There are good and bad abstractions. In my experience good ones are usually grounded in math. Used the way they are intended generics/parametric polymorphism should reduce your cognitive burden. Eg. having a single, well defined and te
182.
by pwm 8y ago
Thanks for your answer. I find it very interesting how different people come to different conclusions about these basic approaches to writing programs. Imho, as always, there's no one true answer and understanding where everyone comes
183.
by pwm 8y ago
I'm curious: why not?
184.
by pwm 8y ago
I'm not GP, but let me try to explain. The key is to treat people as responsible adult professionals with the best intentions. This way communication will happen organically and proactively. For organic proactive communication async ch
185.
by pwm 8y ago
Let me try Functor: You have a structure of values of some type. You want to apply a function to these values inside the structure, but you don't know how to do that. Luckily the structure itself does, so you just give your function to
186.
by pwm 8y ago
Realising that a monad is just a lax functor from a terminal bicategory also helps.
187.
by pwm 8y ago
If GP is correct re failure propagation then this is monadic composition vs. OOP object chaining.
188.
by pwm 8y ago
I, for one, am perfectly fine with people not carrying weapons here. I’ve been living in the UK for 13 years and as long as i’m here i’d like the weapon situation to stay as-is.
189.
by pwm 8y ago
While I agree, please realise that your approach is really not helpful! We don't tell someone who just fell off the bike and afraid of sitting back that "if you've just sat back you'd now be riding, hair in the wind&quot
190.
by pwm 8y ago
As you've profoundly experienced all things change... ;)
191.
by pwm 9y ago
Deterministic in what context?
192.
by pwm 9y ago
I’ve been contracting in London for about 8 years now. In the last 2-3 years one of my primary criteria is that i only work till 5 and at least one day from home. Some of my best contracts, both professionally and financially came after imp
193.
by pwm 9y ago
It kind of is, but this architecture has mathematically sound properties and is built in the language so people don't have to reinvent it in an ad-hoc way all the time. Your context object would be a Functor, types are employed to ensu
194.
by pwm 9y ago
This is very black and white thinking. I started with imperative languages, loved them. Then I learnt some FP theory and Haskell, loved it. I now use both and what's most important imho is that knowing both made me a better dev overall
195.
by pwm 9y ago
Bitcoin.
196.
by pwm 9y ago
Currying is essentially a trick to turn n-ary functions to unary functions so you can compose them. It also enables the creation of specific functions from generic ones by supplying arguments. Also, as functions can have functions as argume
197.
by pwm 9y ago
Not disagreeing with your overall message, just want to point out something that bugs me and you're not the first one I heard saying something like this: "They provide theorems in the form of examples". This is incorrect. The
198.
by pwm 9y ago
Not entirely sure what do you mean by “higher order components” but what you seem to describe would lead to the same problems we had with inheritance in various oop languages.
199.
by pwm 9y ago
Great, pragmatic list. Regarding events I found employing state machines to be very useful in dealing with the ordering and cardinality issues mentioned.
200.
by pwm 9y ago
Very cool indeed! I'm lately reading a lot about temporal system design and got fascinated with clocks and our notion of time. Interesting how, if I understand it correctly from this article, our own "clock speed" is the rate
201.
by pwm 9y ago
Testing and debugging inter-service concerns. These, in my opinion, are inherently difficult to do when working with this architecture. In other words a lot of ugly real-world complexity hides in the space between the neatly maintained gard
202.
by pwm 9y ago
My pet theory is that very few people visit /newest and even less are consistently and persistently active over there. This means that, in general, only a handful of people's inherently subjective taste steers the ship. I find thi
203.
by pwm 9y ago
I think testing itself is the second-best thing short of proving correctness. It won't guarantee that your code is correct but ideally it greatly helps reducing bugs. TDD, as far as I understand, seems to promise more than just the ben
204.
by pwm 9y ago
Ultimately state is a function of time. Events are thus temporal effects from the outside world that can, depending on their values, cause a transition from a state to another state within the machine. If you model the machine as a graph wh
205.
by pwm 9y ago
I have recently created some dead simple code to explain the concept to colleagues whom, as the article notes, were not using this very simple and effective construct at all to control state transitions in business apps. As the article does
206.
by pwm 9y ago
type Parser a :: String -> [(a, String)] "A Parser for Things Is a function from Strings To Lists of Pairs Of Things and Strings!" - Fritz Ruehr
207.
The secret to a long and healthy life? Eat less(bbc.com)
3 points by pwm 9y ago|0 comments
208.
by pwm 9y ago
Give it a few more years...
209.
by pwm 9y ago
I have managed to do hour+ long midday walks pretty much all my working life. It's not something I pre-negotiate and the degree of said freedom varies from place to place. Nevertheless I rarely had any problems from this habit and the
210.
The 3x and 1 problem(en.wikipedia.org)
7 points by pwm 9y ago|3 comments

More ›