2007/9/22, Hugo Pacheco <[EMAIL PROTECTED]>: > Hi all, > If I want to write some function that will dynamically create a selection > function according to its arguments and do something with it. You cannot dynamically create function, all you can is to create it at compile-time (that's what TH lets you to do).
> However, is there a possible way to generate Haskell functions from TH > without having to instanciate its arguments? First of all, how do you intend to use your fsel function? In fact if we ignore stage restirctions expression $(sel x y) will have different types depending on fsel parameters. Even if we can generate code at runtime, we cannot assign a type to the $(sel x y) expression (except something like Dynamic, but doubt if it makes sence). Even if we can assign a type to the $(sel x y) expression, the $(sel x y) (x, y) expression is well-typed only if $(sel x y) has type (a, b) -> c. -- WBR, Max Vasin JID: [EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe