Show more

George Wilson shows how type classes without laws are terrible, the stuff of nightmares. Laws give rise to useful functions, enable refactoring, and provide useful abstractions.

Tim McGilchrist shows how Idris’s type system enables you to enforce the rules of the state machines at the heart of most real-world applications with fully dependent types.

Rohit Grover finds it quicker to prototype radar detection filters in Haskell and then do a final implementation in C++ than it would to build from scratch in C++.

Kevin Yank boosted

Applications for the
@cultureamp
Junior Engineering Program (Cohort #2) are now OPEN! Apply here: hello.cultureamp.com/jep-2

My fellow Culture Amper Jo Cranford goes beyond the language itself to describe the many ways Elixir has been a beneficial (and at times challenging) choice for us. mastodon.technology/media/mp0b

Sean Chalmers shows how you can drive HTML Canvas, SVG, and even WebGL to produce art with algorithms using Haskell & GHCJS.

Humans are very good at building things based on metaphors. We should choose good metaphors that capture the right properties of the concepts we seek to explain. Doing so provides the foundation for future inventions (and inventors!).

Mathematics disentangles generic concepts and their interrelations from our experiences of the world.

Babies have innate abilities that enable them to learn: grammar, subitizing, arithmetic, analogy, metaphor.

It's often said that metaphors are not useful in explaining FP concepts. Moronuki argues that they are extremely useful, but we don't recognise them as metaphors in this context.

Julie Moronuki takes the stage to present the opening keynote, “The Unreasonable Effectiveness of Metaphor”.

Ooh there are lots of other nerds on Mastodon! (Dives in.)

Presenting today at Compose Conference in Melbourne about Culture Amp’s experience with Elm. Looking forward to a full day of FP immersion!

Kevin Yank boosted

@blurrythoughts
hello! Just listened to the Elm Town latest episode and found about your taste for Mastodon 😊 just so you know I created an alternative web client in Elm, it was my first project so it's a code mess, but maybe you'd like to give it a shot? 😁 @tooty github.com/n1k0/tooty

Cheers and thanks for all the great libs!

All right, I'm on Mastodon! Now I should really stop procrastinating and put the finishing touches on my Compose Conference talk for tomorrow!

Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!