Hackle Wayne

Experienced OO programmer turned functional advocate. workshops, conferences, blog, thoughts and rant

[Hackle Wayne @hacklew]

@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.

[Hackle Wayne @hacklew]

@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)

[Hackle Wayne @hacklew]

sequence
get it? haskellers #haskell

[Hackle Wayne @hacklew]

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

[Hackle Wayne @hacklew]

Newly blogged:
Your Generics may be different than mine!
types, strong intuitions and dark magic
https://t.co/qYFgA0I5cZ

[Hackle Wayne @hacklew]

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

[Hackle Wayne @hacklew]

Newly blogged: Constructive code - an aimless exploration

Stigma, absolutism, colourfulness, constraints, factories - everything constructor.

https://t.co/3gek48E4nv

[Hackle Wayne @hacklew]

@catch404

[Hackle Wayne @hacklew]

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 https://t.co/x1CNTMFH23

[Hackle Wayne @hacklew]

@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.

[Hackle Wayne @hacklew]

Blogging again after months:
A Square IS A Rectangle - If Designed Correctly! https://t.co/y38GcUiT8V

[Hackle Wayne @hacklew]

@zyklotomic Control.Composition

[Hackle Wayne @hacklew]

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

[Hackle Wayne @hacklew]

Blogged: ‘extends’ in TypeScript: inheritance, upper bounds, conditional, distributive and variance https://t.co/aaPfP6AOK2 #typescript

[Hackle Wayne @hacklew]

This is amazing stuff!
Check out Type Families in Haskell: The Definitive Guide by @serokell https://t.co/UuXIY3QbjJ

[Hackle Wayne @hacklew]

@Jose_A_Alonso Thanks so much for sharing!

[Hackle Wayne @hacklew]

@davesnx Thanks! Very happy to hear.

[Hackle Wayne @hacklew]

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
https://t.co/9hfwkoXqgv
#Haskell

[Hackle Wayne @hacklew]

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

[Hackle Wayne @hacklew]

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

[Hackle Wayne @hacklew]

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