brokenix,

> you mostly model data with sum types, which in my mind are the best way to model data

True its quite strict in Haskell though
https://blog.darklang.com/leaving-ocaml/

oantolin,
@oantolin@mathstodon.xyz avatar

@brokenix Don't people model data with sum types and product types used in roughly equal measures? Is it really mostly sums? That sounds off to me.

boarders,
@boarders@mathstodon.xyz avatar

@oantolin @brokenix they are not meaning sum types as opposed to product types but just commenting on how most languages don’t have sum types so you have to use some other way to encode data with tags or class hierarchies or etc.

oantolin,
@oantolin@mathstodon.xyz avatar

@boarders @brokenix It does seem possible that's what was meant.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • GTA5RPClips
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • tacticalgear
  • cubers
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • osvaldo12
  • ngwrru68w68
  • kavyap
  • InstantRegret
  • JUstTest
  • everett
  • Durango
  • cisconetworking
  • khanakhh
  • ethstaker
  • tester
  • anitta
  • Leos
  • normalnudes
  • modclub
  • megavids
  • provamag3
  • lostlight
  • All magazines