On Tuesday, October 6, 2015 at 1:06:03 PM UTC-4, Stefan Karpinski wrote: > > I'm not aware of any other languages with anything quite like Julia's > generated functions but would be very interested in hearing of features > that are similar to it. >
Jeff's thesis cites Exotypes and Lightweight Modular Staging (LMS) as closely related work; both of these seemed to implement their techniques only in custom research language extensions, though. Also, the LMS paper cites MetaOCaml, which allows you to perform computations based on the inferred types of an expression by enclosing it in angle brackets, e.g. <a + b>. And I guess there are several other research languages that use these ideas in one flavor or another.
