User loginNavigation 
Strange functionI was toying with an object system in Haskell and I encountered (created?) the following function: f :: Contains r r' => (r' > (a,r')) > (r > (a,r)) where any value of r contains a value of r': the function is the best answer I have found so far to the problem of "casting" a value of r to its supertype r', doing some work on it that gives a value of type a and a new value of r' and then replacing the resulting r' into the original value of type r. To me this reminds some sort of binding, but I was wondering if anyone here more expert than me could suggest a better interpretation of this operation. By giuseppemag at 20100511 20:43  LtU Forum  previous forum topic  next forum topic  other blogs  3189 reads

Browse archivesActive forum topics 
Recent comments
1 hour 5 min ago
1 hour 5 min ago
1 hour 41 min ago
3 hours 16 min ago
5 hours 34 min ago
8 hours 23 min ago
9 hours ago
9 hours 49 min ago
16 hours 26 min ago
16 hours 31 min ago