Zulip Chat Archive

Stream: new members

Topic: of

Kenny Lau (Aug 20 2020 at 13:58):

why is a -> b called b_of_a instead of say b_if_a?

Yury G. Kudryashov (Aug 20 2020 at 16:46):

I guess of works both for Prop-valued a and Type*-valued a.

Chris Wong (Aug 21 2020 at 02:22):

This is pure speculation, but could it be OCaml influence?

e.g. the string conversation functions on https://ocaml.org/releases/4.02/htmlman/libref/Pervasives.html

Chris Wong (Aug 21 2020 at 02:26):

Or maybe more likely Coq (which is influenced by and implemented in OCaml)

Last updated: Dec 20 2023 at 11:08 UTC