Comment on Why don't you use dependent types?Comments−Pxtl10moSame reason I don't use a variety of other good programming ideas: the tools I use don't support it usefully.
Comments
Same reason I don't use a variety of other good programming ideas: the tools I use don't support it usefully.