log insign up
monoidmusician

MonoidMusician

@monoidmusician

  • she/they/xe
  • blog.veritates.love/

~~~
<3

log in
monoidmusician
MonoidMusician@monoidmusician1/6/2024, 3:24 PM
GardenerAether
Aether 🇺🇦🏳️‍⚧️🇵🇸@GardenerAether

GardenerAether
Aether 🇺🇦🏳️‍⚧️🇵🇸@GardenerAether1/6/2024, 9:14 AM

wake up babe new programming language just dropped

typedef monad<☣️ monadTag: 🥶>(t: 🥵 ➡️ 🥵) = 🏗️(monadTag) [
_functor: src.control.functor.functor(t);
_eta<🆒 a: 🥵>(x: a) ➡️ t(a);
_bind<🆒 a: 🥵, 🆒 b: 🥵>(k: a ➡️ t(b))(x: t(a)) ➡️ t(b);
];

#programming languages#programming language design#help me#like and subscribe

monoidmusician
MonoidMusician@monoidmusician1/6/2024, 3:24 PM

we've been here before

it was called Prelewd

 

loading...

https://pursuit.purescript.org/packages/purescript-prelewd/0.1.0

@i-am-tom

#purescript

1 comment
You must log in to comment.

in reply to @monoidmusician's post:

GardenerAether
GardenerAether
Aether 🇺🇦🏳️‍⚧️🇵🇸@GardenerAether1/6/2024, 5:02 PM

the pearly gates were not meant for all i suppose

login to reply
Pinned Tags
  • selective applicative functor
  • tmttmt
  • © 2025 anti software software club llc
  • thanks for using cohost

Legal

  • Terms of Use
  • Privacy Notice
  • Community Guidelines

About

  • install cohost on your phone
  • @staff
  • Support
  • Credits
  • cohost status
  • Careers