3 ms·Check out any dependently typed language.by kachnuv_ocasek 5y agoCheck out any dependently typed language.