Activity

1. milesfrain commented on Jul 16, 2020

   

   milesfrain

   on Jul 16, 2020

   Last edited by milesfrain

   ContributorAuthor

   More actions

   Here are some notes on ReasonML differences from reading their overview.

   • Philosophy
     • Less strict about immutability and effect tracking.
     • Less FFI ceremony.
     • More efficient JS (speed and size).
   • Syntax
     • Closer to JS than Haskell.
     • rec required for recursive functions.
       • Looks like an alternate solution to CycleInDeclaration errors.
     • () is shorthand for unit.
   • Records
     • Record types must be declared before creating values of that record type.
     • Records may have mutable fields.
     • Nominal typing - Cannot use a record with a superset of fields in place of a record with a subset of fields.
     • Record update uses spread syntax.
       • Adding fields is complicated by nominal typing. Easier in PS with disjointUnion.
   • Functions
     • Named function arguments built into language.
       • Different than passing a record argument with named fields.
     • Automatically uncurried whenever possible (even if this produces multiple functions).
     • Built-in optional arguments.
       • Technically uses an option type, which is like Maybe.
       • Possible to do with purescript-option, but certainly a lot more ergonomic when built into the language.
   • FFI
     • One-liner. PS requires two lines in separate files.
   • Type Classes
     • Uses Module system (rather than type classes).
     • Could mimic haskell-like type class hierarchy, but this is not common among libraries.
   • Frameworks
     • Strong encouragement for React and Tailwind (<-- RML doc links).
     • PS is less opinionated.
2. milesfrain commented on Nov 23, 2020

   

   milesfrain

   on Nov 23, 2020

   ContributorAuthor

   More actions

   Should we include any content with comparisons to OOP? This might help folks coming from an OOP background where PureScript is their first FP language. Thinking it would be better to link to existing Haskell resources, rather than re-write our own. Here are some I found so far:

   • https://wiki.haskell.org/OOP_vs_type_classes
   • https://wiki.haskell.org/Why_Haskell_matters#Haskell_vs_OOP
   • Simon Peyton Jones lecture series
     • 47:04 https://www.youtube.com/watch?v=6COvD8oynmI&t=47m04s
     • 1:00:37 https://www.youtube.com/watch?v=6COvD8oynmI&t=1h37s
   • msdn series mentioned in Improve explanation of Multi Parameter Type Classes and Functional Dependencies purescript-contrib/purescript-book#238
   • Nice summary of the Expression Problem (featuring OCaml) https://www.cs.cornell.edu/courses/cs3110/2015fa/l/25-expression/lec.pdf

   ❤️React with ❤️1Reacted by Attila Gulyas