hderms

19 ms·

151.
by hderms 7y ago
Second this. Don't be dissuaded if it seems a bit esoteric. It's really fascinating and has an eye towards pragmatism.
152.
by hderms 7y ago
I think separating code into 'algorithms' that make a decision based on pure data, returning the decision in the form of pure data, 'side effects' which represent actions which can occur (and are also very mockable), and
153.
by hderms 7y ago
so you'd like for us to go back to QT and such instead of taking advantage of the benefits a model like React has already given us for cross-platform UIs? (correct and performant web, desktop, mobile UIs)
154.
by hderms 7y ago
I believe you're exaggerating the frequency that the compiler rejects valid programs. It happens, but no more frequently than random runtime type errors occur in dynamic code. In any case, one can just as easily argue that the value of
155.
by hderms 7y ago
Are you trying to imply Chomsky is actively working for the interests of the Israeli government? He's been banned from entering the country. I'm not sure how to respond to your comment only to suggest you might apply some of the c
156.
by hderms 7y ago
Go is certainly somewhat popular in the US, but imo the language isn't well suited for all tasks.
157.
by hderms 7y ago
I'm inclined to agree but if an nginx filter is like (HttpRequest, HttpResponse) => (HttpRequest, HttpResponse) then aren't we basically saying we like purely problems that can be expressed as compositions of pure functions? Si
158.
by hderms 7y ago
why would that be any easier in a dynamically typed language?
159.
by hderms 7y ago
Basecamp's problems seem particularly well suited to a batteries included CRUD framework. There are plenty of problems out there that aren't CRUD-centric
160.
by hderms 7y ago
Fwiw we have a relatively large Scala codebase that's exceptionally bug-free, performant.and easy to modify and haven't had to reach for a lot of the extremely abstract FP patterns that warrant the most blog posts. Simple immutab
161.
by hderms 7y ago
Some patterns or abstractions are more difficult in statically typed code but after a while you start to realize you probably shouldn't use them most of the time. Static typing makes it very easy to be _precisely_ abstract, and have so
162.
by hderms 7y ago
I've worked in a number of languages and fwiw I've never written such error-free code as I have in Scala when embracing the type system (to a reasonable degree) and embracing immutability/fp patterns. We write only the tests
163.
by hderms 7y ago
I agree, but what about when the persistent shared state ends up actually being most of what needs to be tested in a distributed system?
164.
by hderms 7y ago
That's true but actor model achieves freedom from data races by forcing ALL messages to be synchronized. This can be useful in some situations but imo isn't a panacea for concurrency issues
165.
by hderms 7y ago
as far as I can tell scala concurrency basically boils down to a few different subclasses that have some overlap: 1. streaming/observable focused like Monix 2. IO effect type like Cats Effect and ZIO 3. Twitter futures/Stdlib futu
166.
by hderms 7y ago
I'm interested in whether `.rbi` files are going to be the only official route for typing in Ruby, and if so, how that would end up impacting Sorbet?
167.
by hderms 7y ago
All languages should have gofmt at this point. Debating code style is a waste of everyone's time.
168.
by hderms 7y ago
Imo I'd resort to an ACID datastore if permitted but I'm curious if there are common patterns that enable this with messaging systems.
169.
by hderms 7y ago
I think it's fair to ask whether the file's _contents_ need to be ACID transactional or could you just mark the row as deleted and schedule a job/Cron to clean them up? In light of that, and the fact that a binary blob isn&#x
170.
by hderms 8y ago
You are more or less describing a monad
171.
by hderms 8y ago
You don't think type classes and higher order functions are concerned with abstractions?
172.
by hderms 8y ago
stack-based memory allocation is the proper way to model data local to procedures in a call stack.
173.
by hderms 8y ago
Http clients and Json parsers aren't great examples because both should be about as fast as you can make them. Idk about you but I don't find it credible to claim writing your own http library or Json parser is a reasonable route
174.
by hderms 8y ago
I think it depends on whether the library you're using is well designed and doesn't require contorting code around it. If it's a simple integration I don't see much of a point in abstracting it but if dealing with the li
175.
by hderms 8y ago
Scala is a great language for large software projects. The only downside really is compilation speed/tooling.
176.
by hderms 8y ago
I think it's like a big-o type argument about rates of growth of approximately spherical areas in 3d space
177.
by hderms 8y ago
Recommendations if you're on be JVM primarily?
178.
by hderms 8y ago
I can see the logic behind the statement 'message passing is a pretty effective antidote to coupling' but I personally subscribe to the idea that actors don't compose. In light of that I think use of actors and messages impli
179.
by hderms 8y ago
The newish argument for microservices is that they enable compositionality, so wouldn't that same hypothetical apply? I.e. some 10xer is short on time and glues a bunch of microservices together and now you have the same problem but wo
180.
by hderms 8y ago
I think one distinction is that typeclasses let you add some new 'interface' like Fooable and then implement them for standard types like String and Int as well as allow the user of the library to implement a version as well. With

More ›