Kevin Yank @sentience@mastodon.technology

Had a stranger tap me on the arm this morning on my walk to work to ask if the pin on my bag was the Star Trek emblem. When I nodded yes he said “That's so cooool!” and walked off. Made my whole day. 🖖😄 #startrek

Spent today doing the proof-of-concept work on porting Culture Amp’s integration of CSS Modules with Elm to Elm 0.19. Looks like it's going to work just fine! #elmlang

(The Game of) Life is a Comonad, says Eli Jordan, using my favourite data structure, a zip list, to illustrate his point! #composemelb18

∀ (for all), ∈ (element of), ⋀ (and), and ∃ (there exists) are quantifiers I now know how to use thanks to David Barri. #composemelb18

“You got chocolate in my peanut butter!”
“You got peanut butter in my chocolate!”
Andrew McCluskey/McMiddlin puts Haskell in our WordPress, showing how the rigor of property-based state machine testing can bring certainty to the messy world of the PHP app that runs 31% of the Web. #composemelb18

About to go on at #composemelb18! https://mastodon.technology/media/pkBPn1w3uY3zswU49TI

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. #composemelb18

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. #composemelb18

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++. #composemelb18

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. #composemelb18 https://mastodon.technology/media/mp0b2YG3KMBUjWy4zjo

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

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!). #composemelb18

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

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

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. #composemelb18

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

Live tooting from Compose Melbourne! #composemelb18

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