From old 'Documentation Admin' page

[hdgarrood]

Things that people wanted documenting:

• Newtype -- Difference between keyword and type class. -- Removed runAdditive in v0.10, moved to wrap from Newtype class. Why have run* in first place?

• Functional Dependencies -- What type-checking errors does it resolve? -- When should I use functional dependency in my type class?

• Typed-holes and type wildcards -- Names are similar, needs clarification.

• Compile Iteration Techniques -- Hole-driven development with typed-holes. -- Faculties of editor plugins. Using pscid as editor-independent alternative. -- Iterating module while testing in psci.

• Generics -- How to use generics to encodeJson from argonaut? -- Old generics (purescript-generics) vs new generics (purescript-generics-rep, enabled by fun-deps)

[soupi]

Note that some of those are answered in The PureScript 0.10 release video on youtube (link).

[hdgarrood]

Thanks for the reminder! I think we should aim to have that information somewhere in this repository too.

[chexxor]

Still need to translate to text, though.

[soupi]

Definitely! But it can help anyone who is interested in writing docs about it :)