i know i've just posted something about how i feel that this account is a bit too tech-centric right now, but i am still really tempted to write something about the Tardis monad and time-travelling values...
You must log in to comment.
in reply to @nicuveo's post:
oh! is this a modern take on acme-timemachine (cf. https://hackage.haskell.org/package/acme-timemachine-0.0.1.0/docs/Acme-TimeMachine.html )?
Much more fun! It's time-traveling values! https://hackage.haskell.org/package/tardis-0.4.4.0/docs/Control-Monad-Tardis.html#g:2
wtf this is real and not a joke
that's amazing! thanks for sharing
I used it in today's advent of code. :)
- code: https://github.com/nicuveo/advent-of-code/blob/main/2022/haskell/src/Day08.hs
- full recording: https://www.twitch.tv/videos/1673925417
- a smaller scale example of this principle: https://www.twitch.tv/videos/1673925419
- a library i made at work that uses the same underlying principle: https://github.com/hasura/graphql-engine/blob/master/server/src-lib/Control/Monad/Circular.hs
Pinned Tags