roption name

Stream: general

[Scott Olson]

@Mario Carneiro What's the meaning behind the name of the type roption? Sorry if I'm missing something obvious :p

[Mario Carneiro]

I literally forget. I changed the name to part in the recent CPP paper, and I need to update mathlib

[Mario Carneiro]

because I didn't want to explain the crazy name

[Mario Carneiro]

r is for ... raw? right? no idea

[Scott Olson]

haha, fair enough. part does seem clearer. A friend of mine guessed "recursive option"

[Simon Hudon]

I seem to recall raw. Maybe in contrast with pfun which has an argument, roption is more minimalist