borar Profile picture
Jul 8, 2019 3 tweets 1 min read Read on X
“Active pattern-oriented programming” feels like a discipline within DDD on its own. #fsharp
Sort a list of values by a “binary” key, then mix nested, AND and OR (active) patterns with list cons pattern to detect patterns of complex data in the original list.
Sorting is meant to push all potentially interesting values to the start of the list and treat it kind of like a set in pattern matching.

• • •

Missing some Tweet in this thread? You can try to force a refresh
 

Keep Current with borar

borar Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @Savlambda

Sep 10, 2020
Phantom types usable from future modules. Very simple or I am missing something... @isaac_abraham gist.github.com/Savelenko/37fd…
OK, not really phantom. In between dreams and reality.
Never mind, the proof can be illegally copied. This is garbage.
Read 4 tweets
Jul 17, 2020
I write #fsharp and #haskell daily (and #purescript too) and thought of making a micro-blog comparison of the two. Fun facts and maybe new discoveries for the interested, in no particular order. This will be long and probably slow.
Unlike #fsharp, #haskell has no records, only discriminated unions. It does have something called “record syntax” for DUs.
In #fsharp functions cannot be overloaded. In #haskell it is possible through the “type classes” mechanism, conceived specifically for this.
Read 14 tweets

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Don't want to be a Premium member but still want to support us?

Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us!

:(