On 11 November 2010 18:01, C. McCann <c...@uptoisomorphism.net> wrote:
> For instance, assuming serialize can be applied to functions of any > type, it would probably be trivial to write a function (isExpr :: a -> > Bool) that reports whether an arbitrary term is a primitive value or > the result of some expression [SNIP] Persistent functional languages usually give serialized values including closures a dynamic type. So can you write isExpr :: Dynamic -> Bool ? As Persistent Haskell and Clean (both pure functional languages) have already supported serializing closures / HOFs I'm not sure its really a such semantical can of worms as this thread suggests. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe