Estoy trabajando en un lenguaje Haskell-meets-SQL para manipulaciones de bases de datos, y en una biblioteca de clases de tipos común para ir con él, desde Hackage donde sea que tenga sentido. Dado qu
He visto algunos casos de uso para el polimorfismo de rango 2 (el ejemplo más destacado es el ST monad), pero ninguno para un rango superior. ¿Alguien sabe de ese caso de uso?
Tengo el siguiente código en una clase abstracta java: protected abstract <E extends HasText & IsWidget> E createNewDisplayWidget();
que compila bien. Sin embargo, si la llamo en cualquier lugar, el