1
As propriedades, como o uso de memória de uma função, podem ser expressas em um idioma digitado de forma dependente?
Suponha que alguém queira raciocinar sobre propriedades do código além de coisas como totalidade e pureza funcional - também se preocupa com o consumo de memória ou com a complexidade algorítmica de uma função. Isso pode ser feito através de sistemas de digitação e efeitos dependentes?