Actually shen can kind of handle dynamic type checking, I think only this and Maude https://maude.lcc.uma.es/maude321-manual-html/maude-manual.html https://maud

Actually shen can kind of handle dynamic type checking, I think only this and Maude https://maude.lcc.uma.es/maude321-manual-html/maude-manual.html https://maude.lcc.uma.es/maude321-manual-html/maude-manual.h... can do that. I found the best way to learn shen was the book of shen: https://shenlanguage.org/TBOS/tbos_255.html https://shenlanguage.org/TBOS/tbos_255.html (dynamic type checking example here)