undefined | Better HN

0 pointsReleaseCandidat2y ago0 comments

Edit2: oh, I guess misunderstood "A type that accepts types that generates another type". If you meant to say "A type that accepts (types that generates another type)", so a type constructor that accepts type constructors and not "(A type that accepts types) that generates another type", which is a type constructor.

0 comments

chrisweekly2y ago

Yeah, I think "types that generateS" is either a typo or sloppy English; it should be "types that generate".

I often wonder why it's so common for programmers with an acute awareness and mastery of syntax and grammar in programming languages to just throw all that precision and attention to detail out the window when it comes to natural language.

j / k navigate · click thread line to collapse

0 pointsReleaseCandidat2y ago0 comments

0 comments

chrisweekly2y ago

Yeah, I think "types that generateS" is either a typo or sloppy English; it should be "types that generate".

j / k navigate · click thread line to collapse