undefined | Better HN

0 pointsj2kun1y ago0 comments

Your examples, on the TIOBE index, are #4, #18, and #28. https://www.tiobe.com/tiobe-index/

0 comments

Product types are one kind of algebraic data type, only 5 languages from that TIOBE page don’t have them so most common langs have ADTs

When you have natural numbers and a multiplication operation (product) would you say that those form an algebra? (ADT means algebraic data type)

You’ve got both a carrier (the set of natural numbers) and a morphism (product operation) so yeah you have an algebra.

j / k navigate · click thread line to collapse

Product types are one kind of algebraic data type, only 5 languages from that TIOBE page don’t have them so most common langs have ADTs

When you have natural numbers and a multiplication operation (product) would you say that those form an algebra? (ADT means algebraic data type)

You’ve got both a carrier (the set of natural numbers) and a morphism (product operation) so yeah you have an algebra.

j / k navigate · click thread line to collapse