3 ms·
CL has many merits, but it does not and cannot ever have a type system like Peridot has. (If it did, it wouldn't be CL anymore.) It also does not have a logic-b
by tonyg 4y ago
CL has many merits, but it does not and cannot ever have a type system like Peridot has. (If it did, it wouldn't be CL anymore.) It also does not have a logic-based metaprogramming language. Peridot's metaprogramming model is quite far from DEFINE-COMPILER-MACRO. You could build Peridot as a DSL in CL, using DEFINE-COMPILER-MACRO, even, but that's not the same thing as CL having "had this" at all, let alone "for decades".
- lisper 4y agoWhether or not CL would still be CL if you embedded a Peridot-style type system is debatable. But the example given in TFA can be easily and straightforwardly rendered as a CL compiler macro. There might be useful things that Peridot can do easily that CL can't but these are not immediately evident, at least not to me.