Hackle Wayne

@branmcconnell @mattpocockuk Possibly? AFAIK an array literal can't be cast this way. Try the form `foo: P -> Q<P>` where P is the tuple (not just array) of number literals, and Q<P> checks if P satisfied ArrayWithRequired, or never. Uniqueness & inclusion can be checked by building a map? also in Q.

@mattpocockuk @hacklew Would either of you know the answer to this one? on the official "Matt's TS Wizards" discord: discord.com/channels/99788…

@d_rawers hehe it's a vague reference to how the result wears something inside on the outside 😛 sequence :: t (m a) -> m (t a)

@hacklew Don't get it sorry 😢 Can you explain it please?

sequence get it? haskellers #haskell

@sharno3 don't stop trying @sharno3 ✊🤨✊

Newly blogged: Your Generics may be different than mine! types, strong intuitions and dark magic hacklewayne.com/your-generics-…

@metasal @tdinh_me what if I am a 100x dev? 🤓

@tdinh_me @hacklew thoughts 💭?

If you don't have more than 100 full-time devs working on the same repo, you don't need TypeScript.

Newly blogged: Constructive code - an aimless exploration Stigma, absolutism, colourfulness, constraints, factories - everything constructor. hacklewayne.com/constructive-c…

@hacklew this is great! 💯

If you want an electrician, don't hire the entire construction team. Because the #1 rule of dependency management: "Depend only on what's needed" It's simple, and your favourite IoC container mostly likely breaks it. Just blogged hacklewayne.com/down-isp-ioc-d…

@d_rawers I empathise with the "nonobvious code" sentiment but code like, ReadonlyList<int> numbers = new List<int>(...) clearly communicates the author's intention (constraints) that "numbers" should not be mutated. 👍 Being able to expose capacities selectively is essential to ISP.

@hacklew I like this, and the discussion of separating data and behavior was apposite (this came up recently at work). You might be interested in another oblique criticism of LSP in A Philosophy of Software Design ("different types for declaration and allocation")

Blogging again after months: A Square IS A Rectangle - If Designed Correctly! hacklewayne.com/a-square-is-a-…

@zyklotomic Control.Composition

@hacklew which library is this? 😂

aight really? you be arrested for having too much fun there #haskell peeps...

Blogged: ‘extends’ in TypeScript: inheritance, upper bounds, conditional, distributive and variance hacklewayne.com/extends-in-typ… #typescript

This is amazing stuff! Check out Type Families in Haskell: The Definitive Guide by @serokell serokell.io/blog/type-fami…

@Jose_A_Alonso Thanks so much for sharing!

State Monad: a bit of currying goes a long way. ~ Hackle Wayne (@hacklew). hacklewayne.com/state-monad-a-… #Haskell #FunctionalProgramming

@davesnx Thanks! Very happy to hear.

@hacklew Enjoyed the post, very well done.

If you get monads, but not yet the State monad, this one is for you! "...it brings non-local states, it encodes a function, and often appears to be dark magic." [blogged] State Monad: a bit of currying goes a long way hacklewayne.com/state-monad-a-… #Haskell

@metasal @philnash @astrodotbuild @typescript Beats me!!! But this plug in is an amazing idea utilising a good parser with types

@philnash @astrodotbuild @typescript @hacklew some help ser?

Ok, anyone got any idea how to handle this? I am building my @astrodotbuild site using @typescript. I have some data in a yaml file which I am importing using the yaml plugin. How would I assign types to the data in the yaml file?

@joanllenas @FlavioCorpa Ahaha I would Just looking forward to it… cheesy pun intended

@hacklew @FlavioCorpa "he enjoyed a honey-moon with Monads such as Maybe, List and Either, but State appears to be next-level" This is a testament to what your friend said github.com/joanllenas/has… Guess what chapter 23 was all about! Maybe I should read your article and give it another try :)

@RobertWPearce @utdemir Thanks! Yeah it was a treat to get his review❤️