On Thu, Mar 22, 2012 at 6:39 PM, john skaller <skal...@users.sourceforge.net> wrote: > (a) provide subtyping so D - pure -> C is a subtype > of D -> C (maybe impure) > > (b) also provide variance notation or something which allows > to transmit the purity (or totality) of the argument to a HOF.
as a Regular Joe end-user of programming languages, i think i would want it to be that my functions are marked im/pure with types, or annotations, or something, and then when i pass them into a hof that thing gets the same taintedness so that during compile time static checks the systems knows it is also im/pure. the const problem of course, which is the same as the oh i just added the use of a monad problem, same as the oh my utility function needs one more parameter: you make some "small" change at the bottom of some code, and then you are forced to go and change 43.7% of your entire code base. which sucks. but might be the Right Thing To Do even though it sucks. dunno. i'd suggest asking on LtU :-) to see if there's already work done on how to handle such "tainting"? sincerely. ------------------------------------------------------------------------------ This SF email is sponsosred by: Try Windows Azure free for 90 days Click Here http://p.sf.net/sfu/sfd2d-msazure _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
