Building a type checker in Haskell by Christoffer Ekeroth
#FuncProg
www.youtube.com/live/cYMaRhk...

Video from the latest FuncProg Stockholm is online - and it's about #fsharp!
www.youtube.com/watch?v=5o7q...

Most languages let you pattern-match on what data IS. #FSharp lets you pattern-match on what data MEANS.

Active Patterns reshape data so you can match on business concepts instead of raw structure. And they compose.

🔗 rdeneau.gitbook.io/safe-clean-a...

#DotNet #PatternMatching #FuncProg

Hear me go on about #reagami in the FuncProg Sweden meetup
I was after the awesome Richard Feldman about Roc 0.1.0, which is totally worth the watch!

www.youtube.com/watch?v=xL4f...

#clojure #clojurescript #squintcljs

Catch me on the FuncProg stream tonight! I will be talking about how you can use domain-specific languages and Relational Algebra to write database queries. This combines some of the strengths of ORMs with the flexibility of hand-written SQL. Check it out! www.meetup.com/func-prog-sw...

PHP is such a tease.. I learn about the existence of the `match(...)` statement, get excited about something that could be used in a FuncProg way, then get disappointed when it doesn't support "tuple" matching (like Rust/Gleam/etc. Eg. `['foo', ...$a] => do_thing($a),`)...

I kinda like the […]

XSLT is an enormously powerful functional document processing language.

Don't use it.

http://fxsl.sourceforge.net/articles/FuncProg/6.html#Square_root

If you want to warmup your brain with #FuncProg #OOProg #Testing, read this ! “Mocking is a Code Smell”

medium.com/javascript-sce…