borar Profile picture
May 14, 2020 3 tweets 2 min read Read on X
Interfaces are not functional, but inherently OO in the sense that there is always an object involved to which you send a message (= call member of the interface). So interfaces are contracts for objects (or values, but this does not help) and not for types. #fsharp
Programmers used to interfaces and not used to type classes rarely think of this example: wouldn’t it be natural and useful to have “empty collection” as part of, say, ICollection<‘t>? That would be a contract for type t itself as opposed to values of t. #fsharp
So static interface members are actually a very exciting feature which makes interfaces more functional and strictly more expressive and therefore useful. #fsharp

• • •

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!

:(