Entities Mentioned

• Haskell

1. I read Comparing Approaches to Generic Programming in Haskell. It seems that my implementation looks the most like PolyP. The "structure representation" contains both recursion and type parameters, which also means that it can only support regular types. But you can also do SYB stuff, f.e (Read Full Article)
   
   

   Related Articles

   • Description Logics in Literate Haskell | Lambda the Ultimate
   • also published in Lambda the Ultimate
   • Generics of a Higher Kind | Lambda the Ultimate
   • also published in Lambda the Ultimate

   • Supercompilation for Haskell
   • also mentions Haskell
   • My Predictions
   • also published in Lambda the Ultimate

Login to comment.