Coalton é uma linguagem de programação funcional eficiente e de tipagem estática, que fornece tipos canônicos limpos e também uma distinção de princípios entre interface e implementação e, portanto, sobrecarrega o Common Lisp.Novamente, foram propostas soluções para isso, embora nenhuma delas seja portável além de duas a três implementações: funções genéricas rápidas, armazenamento de especialização, funções polimórficas.Portanto, parece que um “tipo” pode ser definido em termos de funções, métodos ou qualquer outra coisa que possa ser chamada – quase como uma interface – em vez de qualquer outra coisa.Além disso, graças à falta de inferência de tipo em tempo de compilação, e talvez também devido à sua semântica, as funções genéricas devem ser necessariamente despachadas dinamicamente.Um deque suporta inserção e exclusão em ambas as extremidades, portanto tem quatro funções: inserir frontal, excluir frontal, inserir traseiro e excluir traseiro.
Fonte: https://gist.github.com/digikar99/b76964faf17b3a86739c001dc1b14a39
