4:51:13beachI recently finished revamping the way high-level IR was generated in order to take into account the ideas in my draft paper on call-site optimization.
4:52:03beachEr, yes. "beach" is just a translation of "strand".
4:52:29beachhttp://metamodular.com/SICL/call-site-optimization.pdf for the draft paper.
4:53:57beachIn the past, I also used "spiaggia", "plage", and "Ufer".
4:55:25thmproverCool, I was just thinking about this topic earlier today. (Not that I have anything new to contribute, but just pondering function calls and their optimization in functional languages.)
4:56:13beachThe technique in that paper will make Common Lisp function calls faster than a typical C function call in a shared library.
4:56:21azrazaleabeach: You've been `beach` for yeeearrss though right? I've gone on a couple hiatuses and you're still here lol (thank goddess <3)
4:57:01beachazrazalea: Yes, I am not going anywhere. Unless the virus hits or something, of course.
4:58:27jeosolNa beach, you are immune from the virus
4:58:35Nilbybeach: please stay around as long as possible
5:00:40thmproverOh, beach, David Gudeman's "Representing Type Information in Dynamically Typed Languages" (1993) is the earliest paper on NaN-boxing (if you still need a citation for footnote 1).
5:42:22thmproverAlright, time for bed, good night all.
11:53:13leo_songas vector and array is harder to use, what is the common way to write a deftype which means a list can only consisted with a certain type of elements? use satisfies?