Search
Friday, 10th of September 2021, 21:51:34 UTC
23:34:55
Josh_2
stylewarning: Coalton is very cool. Nice work :)
23:44:01
stylewarning
Thanks! It’s neat to finally release it.
0:19:10
aeth
stylewarning: oh, you did that? Shouldn't you be typeerror instead of stylewarning, then?
3:01:34
beach
Good morning everyone!
4:00:44
Devon
https://directory.FSF.org lists Emacs CL, Gnu CL and SBCL listed but not ABCL, CCL, Clasp, CLISP nor ECL. Perhaps these unlisted maintainers would like to provide a blurb for the directory.
8:24:53
fiddlerwoaroof
stylewarning: congratulations!
8:26:44
fiddlerwoaroof
I guess there's not a #coalton yet :)
8:33:00
fiddlerwoaroof
hi everyone!
8:34:35
beach
Hello fiddlerwoaroof.
8:37:56
fiddlerwoaroof
I've been writing a lot less lisp than I'd like
8:45:51
stylewarning
fiddlerwoaroof: thanks! Maybe when communication needs hit a threshold a channel can be made.
8:46:23
fiddlerwoaroof
stylewarning: have you thought at all about the representation of phantom type variables?
8:47:23
stylewarning
Just a little but not much
8:51:19
fiddlerwoaroof
It's one of my favorite tricks available with a nominal type system to help propagate information with no runtime cost
8:52:44
stylewarning
fiddlerwoaroof: yeah I agree
8:52:58
fiddlerwoaroof
But, it's a bit weird that there's no way to introspect the missing variable (afaict)
9:00:10
fiddlerwoaroof
Reifying them somehow would also let the constraints pass through untyped code
Saturday, 11th of September 2021, 9:51:34 UTC