Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It...
by lycopodiopsida on Saturday September 11, 2021 @07:00AM
(#28490927)
I am honestly curious: what makes CL so fitting for this domain?
[ Parent
| on HN ]
Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It...
by minhm on Sunday September 12, 2021 @07:51PM
(#28506282)
If by "this domain" you mean "strong type-checking", I guess it is because the CL's feature of on the fly introspection/debugging/modification is not as emphasized in some static type-checking languages, the lack of compile-time strong type-checking feature in CL, the ease to modify CL's compiler behavior via macros/reader-macros/compiler-macros (which facilitates implementing compile-time features like strong type-checking at compile-time); and perhaps also due to CL having been used in language research and in production for some decades.
Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It...
by iainctduncan on Saturday September 11, 2021 @10:00AM
(#28492024)
the article has interesting details: the tldr is that they do quantum computing programming, for which they say CL is great and they have a huge CL code base to work with.