Comments on: More on that compiler http://www.e-pig.org/epilogue/?p=122 for Epigram Sun, 6 Nov 2011 09:25:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 By: Conor http://www.e-pig.org/epilogue/?p=122&cpage=1#comment-5457 Conor Mon, 24 Jul 2006 13:00:36 +0000 http://www.e-pig.org/epilogue/?p=122#comment-5457 Thank you for this. I'll give it a shot when I get back to Nottingham tomorrow. The current term representation is a bit of a moving target, to be honest. Except that we're pretty much determined that data is made of numerically tagged tuples (aka dependent tuples whose head is the tag from which the tail's adicity(*) is computed), so it shouldn't take too big a leap. What's changing more rapidly is the typing apparatus on top of that. Peter and I are cooking quite intensely on a universe of datatypes for numerically tagged tuples. Hopefully, though, the bits we're fiddling with are mostly due for erasure anyway. (*) adicity is to Σ as arity is to Π. Thank you for this. I’ll give it a shot when I get back to Nottingham tomorrow. The current term representation is a bit of a moving target, to be honest. Except that we’re pretty much determined that data is made of numerically tagged tuples (aka dependent tuples whose head is the tag from which the tail’s adicity(*) is computed), so it shouldn’t take too big a leap. What’s changing more rapidly is the typing apparatus on top of that. Peter and I are cooking quite intensely on a universe of datatypes for numerically tagged tuples. Hopefully, though, the bits we’re fiddling with are mostly due for erasure anyway.

(*) adicity is to Σ as arity is to Π.

]]>