æʃliŋ, loaf of autismo @aescling@cat.family

@wallhackio

​ ​
LIVE MIRROR UNIVERSE CLODSIRE REACTION

@wallhackio clodsires beware! looking into a mirror is dangerous fur your structural integrity!

rsync CVEs, huh

the b in clodsire stands fur bifurcated

@wallhackio like this?

​ ​

* cylinder

be careful, it does unthinkable things to your mind and ^{B O D Y}

would you smoke the blender default cylinder JUUL

cc @vaporeon_

mornyawn btw . also @clock, what time is it

no wonder i always liked OCaml

i said this as if OCaml weren’t a LISP in disguise

@vaporeon_ the lad

@vaporeon_ yes, definitely

@vaporeon_ if it's eeveening yet fur ny’all then feel free to take a look at the code if you still want to try to purrocess it

also, mornyawn . @clock, do your thing

@vaporeon_ this is hard to expurress succinctly.

(C t) => ... means that in the type expurression ..., the type t is known to be a member of the typeclass C

an example of a typeclass is Eq, fur types that have total equality checks:

class Eq a where
  (==) :: a -> a -> Bool
  (/=) :: a -> a -> Bool

so, fur example, the following (extremely trivial) function, we contrain the polymorphism of f to parameterize only on types which are known instances of Eq, making it legal to polymorphically invoke the equality check on the generic parameter a:

f :: Eq t => t -> Bool
f a = a == a