Editing Simonpj/Talk:FunWithTypeFuns (section)

= Version 2 =

'''Stuff below here refers to Version 2 of the paper, now retired.'''  I believe I have responded to all the suggestions below: thank you very much!  SLPJ


[[User:Nr|Norman Ramsey]] 16:51, 3 March 2010 (UTC) When the distinction between {{{data}}} and {{{type}}} is introduced in section 2.4, I'd like to be reassured that the compiler guarantees injectivity, and to get a brief explanation of the mechanism (I think it's the uniqueness of the value constructor, but I'm not 100% confident).

[[User:Nr|Norman Ramsey]] 1 March 2010: I'd really like to see an alert before the example that introduces 'data' in a class declaration.  The difference had me totally distracted from the rest of the example. 

[[User:Tanimoto|tanimoto]] 03:38, 20 July 2009 (UTC) Comments not aligned correctly

In Appendix A, item 1, "ILLEGAL" and "OK" could be aligned with the previous comments.

In Appendix A, item 3, type T5, "OK" is not aligned with the previous comments.  The same goes for the signature.

Some code snippets go off the right margin, I hope it's not a problem: pp. 10, 17, 18, 25, 35, 37.


[[User:Bens|bens]] 01:13, 20 July 2009 (UTC) In Appendix C, "fmt1 ^ fmt2 = fmt1 ++ \x -> fmt2 x" -> "fmt1 ^ fmt2 = \x -> fmt1 ++ fmt2 x".

[[User:BobAtkey|BobAtkey]] 17:39, 9 July 2009 (UTC) Could you update the reference to my "Parameterised Notions of Computation" paper to the journal version? Thanks: Robert Atkey. Parameterised Notions of Computation. Journal of Functional Programming 19: (3 & 4), pages 355-376, July 2009.

[[User:Mvanier|Mvanier]] 03:14, 3 July 2009 (UTC) The source code link seems to be dead.  '''SLPJ: fixed'''


-------------------------