Login

Recent searches

No recent searches

Search options

Only available when logged in.
fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

10K
active users

fosstodon.org: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

András N.

Were traits in part inspired by first-class modules?

I know the first compiler was in OCaml, and I just learned about the latter, it seems like there are some shared ideas there.

Mar 11, 2024, 01:51 PM·Public·Tusky
0boosts·0favorites
Public
Manpacket

@sunarch They feel to me really close to Haskell typeclasses.

Public
Steve Purcell

@manpacket @sunarch yeah, typeclasses are the comparison I've usually heard

Quiet public
BB :verified_cool:

@sunarch: typeclasses are probably the *direct* inspiration. Functors solve a similar problem, but in a much more verbose and (imo) less elegant way (,but maybe it is some "Zen of StandardML" that I dont quite understand deeply enough)

ExploreLive feeds
About