IRC channel logs

2023-01-23.log

back to list of logs

<cwebber>o/
<dthompson>\o
<ocdtrekkie>\o/
<Zarutian_iPad>sneek, botsnack.
<sneek>:)
<Zarutian_iPad>ugh, I am dealing with the number #2 problem in compsci, naming things.
<Zarutian_iPad>I presume most here know what a Unum or Una is, no?
<Zarutian_iPad>(if not see http://habitatchronicles.com/2019/08/the-unum-pattern/ )
<Zarutian_iPad>basically I am struggling to find a name for unums or una that are stateless and are basically purely functional, like say https://github.com/Agoric/agoric-sdk/tree/master/packages/ERTP/src/mathHelpers are
<Zarutian_iPad>but their code is restricted to PrimitiveRecursiveAlgorithms or equiv.
<Zarutian_iPad>I am slanting towards calcUna if nobody has anything better
<mfiano>About the naming problem. I had no idea what you were talking about because unum means something entirely different to CS :) I never heard of that one. So, I guess you can overload another term, like everyone else does, to solve the #2 problem in CS.
<Zarutian_iPad>mfiano: I loath to overload terms in compsci that way
<Zarutian_iPad>bbl