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

Browse archives
Active forum topics

Recent comments
2 weeks 2 days ago
3 weeks 7 hours ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 6 days ago
4 weeks 2 days ago
4 weeks 2 days ago
4 weeks 2 days ago
5 weeks 4 days ago
5 weeks 6 days ago