User loginNavigation |
catamorphism.com and hylomorphism.com free to a good home."In category theory, the concept of catamorphism (from Greek: κατά = downwards or according to; μοÏφή = form or shape) denotes the unique homomorphism from an initial algebra into some other algebra. The concept has been applied to functional programming as folds.†“In computer science, and in particular functional programming, a hylomorphism is a recursive function, corresponding to the composition of an anamorphism (which first builds a set of results; also known as 'unfolding') and a catamorphism (which then folds these results into a final return value). Fusion of these two recursive computations into a single recursive pattern then avoids building the intermediate data structure. This is a particular form of the optimizing program transformation techniques collectively known as deforestation.†For a year or so, I have been squatting on catamorphism.com and hylomorphism.com (My thought at the time was to use them for a book I was thinking of writing, and as a bonus they wouldn’t get grabbed by some scummy domain name arbitrageur). I’m joining the throngs heading for the godaddy.com exits, and it seems like a good time to consider putting either or both of these domains to good use. So: If you or someone you know could do something interesting with either or both of these domains, I would be pleased to transfer them. No compensation is required. It could be for a book about programming as I originally envisaged, a commercial venture like a startup, redirect to video lectures, anything at all, really. I would be delighted if it's something that gratifies one's "intellectual curiosity.†Please mention this discussion or my blog post to folks who might have an interesting idea to suggest. Thanks in advance! By raganwald at 2012-02-16 16:06 | LtU Forum | previous forum topic | next forum topic | other blogs | 5005 reads
|
Browse archives
Active forum topics |
Recent comments
27 weeks 2 days ago
27 weeks 2 days ago
27 weeks 2 days ago
49 weeks 3 days ago
1 year 1 week ago
1 year 3 weeks ago
1 year 3 weeks ago
1 year 5 weeks ago
1 year 10 weeks ago
1 year 10 weeks ago