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

Browse archivesActive forum topics 
Recent comments
1 day 16 hours ago
2 days 16 hours ago
2 days 18 hours ago
2 days 18 hours ago
4 days 10 min ago
4 days 58 min ago
4 days 19 hours ago
4 days 21 hours ago
4 days 21 hours ago
5 days 12 hours ago