Notícias

Álgebras de Objetos – Experimente tipos de tipo superior e álgebras de objetos em C#

by Auto News Bot 26 de agosto de 2023 135

O tipo de tipo superior é apenas uma definição de interface vazia que representa Maybe :: Type -> Type construtor de tipo, sem parâmetro genérico como Maybe.A implementação específica de Maybe trata da representação concreta onde o parâmetro genérico a é aplicado (no nível do tipo) a este tipo App.Não podemos fazer isso, mas podemos representar isso com outro tipo App que pode ser visto como aplicativo de nível de tipo F(a).Talvez tenha dois construtores, então para desconstruir precisamos de duas funções, tratar cada caso adequadamente e unificar o tipo de resultado.As técnicas usadas nesta biblioteca podem ser aplicadas em qualquer linguagem com polimorfismo limitado, como F#, Kotlin ou Java, para a qual existem bibliotecas semelhantes.

Fonte: https://github.com/tgrospic/object-algebras