this post was submitted on 15 Nov 2023
233 points (97.6% liked)

Programmer Humor

19551 readers
772 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev
233
Oh yea, that's the good stuff huffs glue (programming.dev)
submitted 1 year ago by tatterdemalion@programming.dev to c/programmer_humor@programming.dev
22 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] baseless_discourse@mander.xyz 3 points 1 year ago* (last edited 1 year ago)

Fin is a type of finite oridinals bounded by a nat. For example the WTF type in there is the same type as Fin 8.

Of course every language can have Fin with a fixed integer, like the post suggest, by just stacking options.

However for a properly defined Fin type, the input number is dynamic, serves as a bound for the element of the type. For example, Adga was able to type the fact that nth fibonacci number is a finite ordinal bounded by a function of n. Which I believe is not typable in rust?