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  3321 reads

Browse archivesActive forum topics 
Recent comments
1 day 13 hours ago
2 days 4 hours ago
2 days 6 hours ago
4 days 5 hours ago
4 days 6 hours ago
4 days 7 hours ago
4 days 14 hours ago
4 days 18 hours ago
4 days 22 hours ago
4 days 22 hours ago