![]() ![]() Higher-kinded types and actual sum/product types. ![]() This still doesn't encapsulate the full power of the Haskell type system, like Signatures on different, overlapping sets of these dunder methods somehow, andīaked it all into your native toolchain as a set of compile-time guarantees. Then you had the ability to create typing type Haskell's Data.Eq typeclass constraint, whenĭefining classes or methods. TheĬlosest analogy I can think of is if you had direct access to dunder methods, Haskell's type system makes Python's type system look downright primitive. What I like about Haskell The type system Here's some of the things that I,Īs a software engineer who has used Python in production and Haskell doing bookĮxercises only, liked and didn't like about Haskell. Page (by the e-reader PDF version) monstrosity. I'm pleased to say that I made it to the end of this 1,857 Moronuki, the 4th release candidate of the 1.0Įdition (1.0-rc4). Programming, From First Principles” by Chris Allen and Julie So over the past three months, I've been reading through “Haskell I thought learning Haskell provided the highest likelihood of satisfying these Think having an understanding of what's possible and what the future might bringĬould prove useful in understanding how to get there as a practitioner. Years before it was widely used in industry (e.g. I had years ago with a professor in college who had previously worked in What academia had to offer in the start of the art. Lastly, I wanted to break free of the practitioner's pragmatic culture and see What if you could use types in order to register properties of data instead of Using a lazy library API, but because the language is non-strict by default? What would happen if a data pipeline was lazy instead of eager, not because I'm Wondering about what was possible if I had used a different tool. Maximum performance of those operations on the underlying hardware. Slow when you compare the operations you want to execute vs. type casting / translation errors, state managementĮrrors) kept cropping up, and Sisyphean bugs frustrate me. Wonderful Swiss Army knife, Python also feels limiting in some ways. I've used Python in production for about three years now. (I'd like to give a big shoutout to John Chandler This notified me of further checks I should make to ![]() Jackdk for copying block quotes with highįidelity in his comments. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
March 2023
Categories |