1
Чи можуть такі властивості, як використання функції пам'яті функції, виражатися залежно набраною мовою?
Припустимо, хочеться міркувати про властивості коду, що перевищує такі речі, як сукупність та функціональна чистота, а також дбає про споживання пам'яті або алгоритмічну складність функції. Чи можна це зробити за допомогою залежних систем набору тексту та ефектів?