As a mere mortal, on Day 7 I did not rest. Instead I worked out the Scalar/List context propagation rules; the Poly (Val that stores both a Scalar result and a List result) solution turns out to be 1)inefficient 2)complex 3)wrong, so with help from my brother Bestian, a new top-down context annotator with downward type caster / equalizer is now upon us.
Oh, and the Junctive puzzle:
$a := (0 | 6); 4 < $a < 2 # True? False?The above evaluated to "True" in Pugs 6.0.0 (implemented naively using rewrite rules in Apoc/Synopsis), but it seriously offended my mathematic intuition: How on earth could
4 < X < 2 be True? So it will be False now, thanks to a new chained operator implementation.
This week I'm with my families in somewhere with only dialup access (ADSL comes after the holiday), so I won't show up on IRC very much nor reply mail in a timely mannter. Sorry in advance.
Happy new lunar year!
Re:Happy new year
autrijus on 2005-02-11T07:50:27
You did. 新年快樂!