hopia

16 ms·

121.
by hopia 7y ago
I've been reading that book occasionally for months but honestly, many parts are somewhat too advanced for me for now. I've sort of backed off from type level programming for now to maintain productivity with building actual thing
122.
by hopia 7y ago
I agree, type signatures & inference and referential transparency offload the cognitive load from your head to the compiler/IDE. Functions that actually work on the data structures are generally guaranteed to be able to work on the
123.
by hopia 7y ago
You can write your own definitions for your types for instances of Functor, Applicative etc. explicitly. Are you worried about the performance when you refer to algorithmic complexity, or what exactly?
124.
by hopia 7y ago
Isn't that just due to `head` being a non-total function? Nothing to do with null per se.
125.
by hopia 7y ago
Weirdly, I never found functional programming Python anyhow enjoyable. It just doesn't seem to have enough facilities to support it, feels like a sort of anti-pattern on it.
126.
by hopia 7y ago
What kind of products are you building?
127.
by hopia 7y ago
Java and C# at least should support (parametric) polymorphism via Generics. In Haskell you don't need GHC Generics to achieve parametric polymorphism though, it's used for different things.
128.
by hopia 7y ago
Making it to the end of an almost 2000 page Haskell book in only 3 months is quite the feat. While quite confusing to many, myself included, I would've loved to hear more about the types vs terms distinction, and overall about what&#x
129.
by hopia 7y ago
It could also be his competitive advantage over others. I mean wasn't Stripe known to become so successful exactly because of easiness of use , in other words a good user experience for developers with simple ready-made libraries. Mak
130.
by hopia 7y ago
I don't know why you're being downvoted, I believe you're on to something here. The harsh climate has forced these countries to adapt, otherwise you'd simply perish in the past. Finland, having no conceivable natural res
131.
by hopia 7y ago
Advantage is a matter of perspective, but taxes are high and mostly spent on public services. Nothing is ultimately free after all.
132.
by hopia 7y ago
Right, I don't know if it makes sense business-wise or not. Probably not if no one is voicing out requests about it. However, writing Swagger API specs for your future projects while you develop them might make you more productive, plu
133.
by hopia 7y ago
When I registered mine the minimum required amount of stock capital was 2500 €. That cash needed to be on the company's bank account before the registration was formalized. The notice to trade register to formally incorporate the compa
134.
by hopia 7y ago
Probably off topic here but always perplexed me how Israel is so dead expensive with just about everything you can find. Particularly with locally produced items.
135.
by hopia 7y ago
Pretty cool how you're able to come out in the open with all this stuff like this! Having checked Zestful's page out, I got a suggestion for you. How about building a client lib ready for developers for at least a few mainstream l
136.
by hopia 7y ago
Interestingly, there's been many news articles in the Finnish newspapers recently about Finnish homeless people living in the forest.
137.
by hopia 7y ago
Yeah and most importantly the OTP supervisors.
138.
by hopia 7y ago
I don't see why not. In fact, it would be "cheaper" for them because they do not need to pay the value added tax to your non-EU company. Sure they'd get that eventually back from the tax office if they were paying just a
139.
by hopia 7y ago
The vibe I got from his post was that the formalities starting a company aren't the bottleneck, perhaps more of a symptom instead. Just about everything he said applies to Finland too. Registering a company means putting ~3000 € on the
140.
by hopia 7y ago
The impact would be minimal only if the API of the microservice didn't change. But in the same codebase too, if you have a module whose API doesn't change the changes from refactoring it would likewise be minimal.
141.
by hopia 7y ago
Why would you want to start a Finnish company? For targeting purely Finnish clientele?
142.
by hopia 7y ago
Yes, I'm also using Haskell for web APIs. It's certainly a great fit for that purpose. I only meant that this low latency garbage collector has stronger positive implications in concurrent web stuff than in many other domains.
143.
by hopia 7y ago
Web support...?
144.
by hopia 7y ago
Poor phrasing on my part. Certainly not bad in any respect for web stuff. I merely meant that this is a welcome upgrade that specifically benefits web applications, even if it carries a minor computational performance penalty.
145.
by hopia 7y ago
Have you tried this yet in practice? I'm expecting it makes Haskell more suitable for web stuff since that's where low latency is often more important than computational performance is.
146.
by hopia 7y ago
In terms of GHC's evolution, this looks really promising to me: http://www.well-typed.com/blog/2019/10/nonmoving-gc-merge/
147.
by hopia 7y ago
I know British IT consultants living and working in cities with ~100,000 inhabitants in Finland, working in high profile IT consultant agencies. Knowing no Finnish whatsoever. It seems definitely doable.
148.
by hopia 7y ago
I'd be interested too, it's actually a good idea.
149.
by hopia 7y ago
It's not automatically granted, it depends on whether your local office has any budget left, and on your business plan and such. It's a somewhat bureaucratic process.
150.
by hopia 7y ago
Dart is something very similar to Java, not much of a bet to jump into it. Moreover, it has type soundness, something Typescript cannot achieve. I'm not so sure it would be easy to continue RN core development either. From what I see e

More ›