Comment by ThomasMoll

Yes! In fact I think Julia borrows a lot of concepts from CL and the like for their type system implementation.