solomonb

16 ms·

241.
by solomonb 2y ago
You can derive these implementations from the recursion principle for your type: data Maybe a = Nothing | Just a foldMaybe :: (Unit -> r) -> (a -> r) -> Maybe a -> r The two higher order functions passed into `foldM
242.
by solomonb 2y ago
Its true, I'm not even that old (late 30s) and used to etch tons of PCBs for ham radio projects.
243.
by solomonb 2y ago
Well that quote appears to contradict the article's claim that speed to market is the most important factor. Now I don't know what to think..
244.
How We Feel(howwefeel.org)
1 points by solomonb 2y ago|1 comments
245.
by solomonb 2y ago
"How We Feel is a free journal for your well-being created by scientists, designers, engineers, and psychologists. Over time, you will learn precise words to describe how you feel, spot trends and patterns, and practice simple strategi
246.
by solomonb 2y ago
He states: > What the market values is the ability to produce things that are rare and are valuable. > what the market dismisses are activities that are easy to replicate and produce a small amount of value. Well social media use is t
247.
by solomonb 2y ago
If AI detectors worked, couldn't you then use one as a scoring function to create an undetectable perfect AI?
248.
by solomonb 2y ago
Purity is not a requirement for functional languages. See Ocaml, Erlang, Racket, Scala, Clojure, Common Lisp, etc.
249.
by solomonb 2y ago
"pure FP" does not mean only writing in a functional style. Purity refers to referential transparency, ie., functions do not depend on or modify some global state.
250.
by solomonb 2y ago
The original article literally starts with this: > In the years since I wrote this, I have gotten much more bullish about pure functional programming, even in C/C++ where reasonable: (link) > >The real enemy addressed by inlin
251.
by solomonb 2y ago
Any chance you can do foobar2000?
252.
by solomonb 2y ago
Right on. Before getting into tech I was a carpenter and I always wished I had an opportunity to try my hand at machining.
253.
by solomonb 2y ago
I just picked up an old Sheldon Lathe. I got it for $200 and hauled it myself with a drop trailer. Its going to need a lot of work but its a beautiful old machine.
254.
by solomonb 2y ago
> Well, from my perspective, I've never worked at a place that's used polysemy of freer-effects. I have with another deprecated effect library. Its a bummer to have something so core to the architecture that is deprecated but t
255.
by solomonb 2y ago
> effectful and Bluefin are here to stay. I guarantee it. For non-IO-based effect systems (e.g. polysemy, freer-effects) I agree. Just to be clear I think Bluefin is really cool and I'm a fan of your work overall. I'm speaking
256.
by solomonb 2y ago
> Of course I can. I can always change the code to anything I like. That's what "rewriting" is. The question is only whether the business logic still makes sense, and whether the old call site code still works. Just look a
257.
by solomonb 2y ago
> a function which returns Y | Null can be replaced with a function which returns Y without changing code on the call site. Yes this falls out of injectivity. > the function type (X -> Y|Null) can be improved by rewriting the funct
258.
by solomonb 2y ago
The original poster said they want to use Haskell professionally but that they are struggling to understand how to structure programs. > Once you're there, I don't think 'choosing an effect system' is a perilous quest
259.
by solomonb 2y ago
So in your hypothetical language with union types `X | Null -> Y` is a function that can actually return `Y | Null`? Why would you want to allow that as an implicit behavior? This would make for surprising and unclear error handling requ
260.
by solomonb 2y ago
> 1. Decide on an effect system This shouldn't even be proposed as a question to someone new to Haskell. They should learn how monad transformers work and just use them. 90% of developers playing around effect systems would be just
261.
by solomonb 2y ago
I think you and I are on the same page, the point of a limited list of tasks is... to have a limited list of tasks. : ) It really is liberating.
262.
by solomonb 2y ago
You end up with more smaller tasks. A big part of the idea with my system is that you only identify 5 tasks at a time. Anything more then that and it becomes overwhelming. So the idea is to peel off the first 5 actionable tasks from your pr
263.
by solomonb 2y ago
I think this gets back to what I said about being okay with bike-shedding. Researching and exploring the design space is a critical part of every project. Its okay to commit time to thinking, planning, and exploring. I feel that as engineer
264.
by solomonb 2y ago
IME as you approach the limit you can create an infinite number of tasks. The key for me is to pick tasks which balance expedience and bang for buck value, but if you are experiencing intense writers block then I see no problem with a task
265.
by solomonb 2y ago
Thanks. I have heard a lot about GTD but never sat down and read it. I definitely want to read it one of these days but I also must say that after years of trying different productivity systems I find that the absolute simplest systems are
266.
by solomonb 2y ago
It depends on the circumstances and how you want to prioritize things. Generally I'll take on the 5 easiest tasks across all my 'active' projects.
267.
by solomonb 2y ago
I relate heavily to the author's dilemma. My projects span from math, to programming, to pinball repair, to amateur radio, to gardening, to mycology, to who knows what else. I personally enjoy the process of bike-shedding and endlessly
268.
by solomonb 2y ago
Same. I've used XMonad forever but 90% of the time I have single applications open full screen. I use XMonad's tabs feature heavily. So in one virtual desktop I have an editor and a few terminals which I tab between, then in anot
269.
by solomonb 2y ago
You can do tabbed windows in XMonad.
270.
by solomonb 2y ago
I do agree with what you're saying about the value of referential transparency and the formal definition of a function as a lambda term. In fact, I work professionally as a Haskell developer and highly value this aspect of the language

More ›