Zulip Chat Archive

Stream: new members

Topic: of


view this post on Zulip Kenny Lau (Aug 20 2020 at 13:58):

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

view this post on Zulip Yury G. Kudryashov (Aug 20 2020 at 16:46):

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

view this post on Zulip 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

view this post on Zulip Chris Wong (Aug 21 2020 at 02:26):

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


Last updated: May 12 2021 at 05:19 UTC