@ivan I added #crem from #haskell then dropped it when I realized that the wonderful module basically requires #dependenttypes via #singletons. I honestly adore the idea but the type system needs to do too many gymnastics until we can get a type system like #Idris2 or #Granule.

I am the type of person to run before I walk so it took one #pragmatic motherfucker to make that decision without feeling like I had given up something beautiful and elegant.

2 votes for #agda
1.5 for #unison
.5 for #granule
1 for @pigworker ‘s new language that I can’t wait to read more about when it’s ready.

Thanks for the extra insight, my friends.

Believe it or not, I learned quite a bit about type theory just from this short poll (reading about Granule in particular).

@BoydStephenSmithJr first I’m hearing of #granule

You and Conor’s reply are exactly why I started this poll! :)

Like when I talked about loving the Swart Atomic Jr. then Mark Bartel himself told me he is planning on building a 5 watt guitar amp with reverb.

Or when I thought of using a breath controller for guitar then looked it up and found 12 other people in the world interested to buy one from a guy in Sweden that has a brother in #Meshuggah33

Prog interests converge! ;)

Jan-Hendrik again, showing a LiveDoc on 3D virtual #histology revealing pathological alterations of #cerebellar #granule cells in multiple sclerosis

publication: https://www.medrxiv.org/content/10.1101/2022.10.07.22280811v1