The Stack Overflow podcast is back! Listen to an interview with our new CEO.

New answers tagged

1

I took a brief look at the first paper you cite, and I think Max New's answer does have some relevance to it. The purpose of this answer is to explain how I think the 'finally tagless' stuff gets a bit confused itself about the idea. The paper starts with a simple algebraic signature for a language with literal numbers, addition and negation. It says that ...


4

Final Algebra semantics was introduced by Mitch Wand in his paper "Final Algebra Semantics and Data Type Extensions", see this freely available tech report: https://www.cs.indiana.edu/ftp/techreports/TR65.pdf . It does not mean final coalgebra semantics, which is a very different idea. The wrinkle is that the algebra is not final in the same category that ...


Top 50 recent answers are included