Random - Random

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Joel McCracken

(reusing this thread because I was about to make a new one titleed like "whats up?" but I think Random in Random is adequate)

Its been really quiet around here lately; whats everyone been hacking on? I've been working on my workstation/dotfiles stuff most recently, trying to make a reproducible system with nix (here: https://github.com/joelmccracken/workstation/)

Contribute to joelmccracken/workstation development by creating an account on GitHub.
Torsten Schmits

I'm mostly working on https://github.com/tek/polysemy-hasql !
building persistent queues atm.

Polysemy effects for Hasql. Contribute to tek/polysemy-hasql development by creating an account on GitHub.
Torsten Schmits

also working on getting this ancient thing over with: https://github.com/scala/scala/pull/7785

This is the second attempt to integrate https://github.com/tek/splain into the compiler (previous PR at #5958). I copied most of splain's code into the directory src/compiler/scala/tools/nsc/ty...
TheMatten

I'm currently looking into https://github.com/TheMatten/hask/issues/5 - but it seems like I'll need to bootstrap basic compiler infrastructure first :big_smile:

Once #4 is finished, we want to parse it - let's track related problems here: Moving relevant question from #1 here - which library do we want to use for parsing? megaparsec and alex+happy soun...
Joel McCracken

I haven't kept up with polysemy; any news in general on that front?

Torsten Schmits

I've become a maintainer!

Torsten Schmits

and we released 1.4 with a simpler interface for higher-order interpreters

TheMatten

and few combinators to make shuffling effects stack around easier

Torsten Schmits

right, I used raise_ for the first time today :joy:

Joel McCracken

TheMatten said:

I'm currently looking into https://github.com/TheMatten/hask/issues/5 - but it seems like I'll need to bootstrap basic compiler infrastructure first :big_smile:

Such a cool project! I've been wanting to check it out.

TheMatten

Sadly there isn't much to check out yet :sweat_smile:
But PRs welcomed! :smile:

Sridhar Ratnakumar

I switched to Windows+WSL2

Sridhar Ratnakumar

... once again. This time it is stickin'

Sridhar Ratnakumar

Lockdown continues beyond 2 months here, but I don't care. Surprised to learn that I'm fine staying home all day.

Sridhar Ratnakumar

My X1C7 still runs Linux though. Just workstation is switched. Finally its RAM is being utilized to its near-full extent image.png