JordanMartinez
JordanMartinez
Fixes #589 Fixes a typo in the higher kinded data design pattern Updates repo to PS 0.15.2
The below type won't compile because `Foo` reference itself in its definition and type synonyms must be fully saturated: ```purs type Foo = { value :: Either a Foo }...
`npm-check-updates` still supports `bower`. You can run `ncu -p bower` to get a list of all outdated packages and `ncu -u -p bower` to have it update your bower file...
Throughout this work, I've usd `yEd` to manually create diagrams. Such diagrams aren't friendly to non-native English speakers because they can't be easily translated. I could use [mermaid.js](https://mermaid-js.github.io/mermaid/#/) to create...
- https://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Advanced-Functional-Programming-Type-Classes - https://channel9.msdn.com/tags/ralf-laemmel See [this comment in a Discourse thread](https://discourse.purescript.org/t/understanding-typeequals/1450/9) for more context.
The issue here is that this repo's content won't appear in a Google search. From a conversation on FP Slack: > yep. I'll make a point of searching your repo...
`Bind` enables one to compose functions of the type signature `a -> m b`. This is done via `bind`/`>>=`. The composition is `>=>`: ```purescript f :: Int -> Maybe String...
Depends on whether purescript/purescript#3302 (issue) / purescript/purescript#3824 (pr) is included in the next major release, which I think it will.
This was posted in the Haskell Slack: > you could model the free "whatever" [i.e. Free Monad, Free Applicative, etc.] generated by a given functor as: > ```purescript > --...
[Here](https://github.com/JordanMartinez/purescript-jordans-reference/blob/latestRelease/31-Design-Patterns/06-Stack-Safety.md#tail-call-optimization-for-pure-functions-via-the-last-branch), I explain that TCO occurs when the last branch calls the function recursively. Based on this understanding, I also mentioned that [tailRec is used in cases where multiple branches...