additional terms about functional-programming-jargon HOT 15 OPEN

immutability and functional data structures

from functional-programming-jargon.

profunctors as well.

from functional-programming-jargon.

totality e.g. no effects at all. Exceptions and divergence as effects, but not side effects, e.g. "pure" function can have it. And side effects is IO and non-determinism.

from functional-programming-jargon.

Thanks for the great resource! Is this where I can report bugs on this post? If so:

• The titles don't define anchors (like <h2 name="...">), so the links in the table of contents don't go anywhere.
• One of the paragraphs in the "Closure" section isn't formatted properly.

from functional-programming-jargon.

functional.works-hub.com is not maintained by this repo. They copied the readme and didn't compile the markdown properly. I'm not sure who you should bug.

from functional-programming-jargon.

@moimikey - this would be a fantastic if you could define these!

I would add natural transformations and morphisms as well to this list

from functional-programming-jargon.

awesome. will do 👍

from functional-programming-jargon.

@hsavit1 there's that fine line between functional programming paradigms and concepts that we use daily, vs. all and everything under category theory. this list could grow or get chopped down. i'll obviously crop and add and crop some more:

• morphisms
  • homo-
  • iso-
  • mono-
  • epi-
  • bi-
  • endo-
  • auto-
  • natural transformation

from functional-programming-jargon.

@moimikey agreed, we wouldn't want to "scare" anyone away from functional programming with overwhelming dictionary of category theory terms (and no examples)

on the other hand, I'd love to educate more programmers on category theory concepts. They were insanely helpful for me when learning Haskell for the first time.

from functional-programming-jargon.

@moimikey Sorry for the late reply, please feel free to do the PRs!

Thank you!

from functional-programming-jargon.

Functor is already in.

This is turning into a dictionary fast but maybe that's still okay.
Some of the topics kind of deserve their own pages. Especially when it comes to defining why they're useful. I could see a page dedicated to morphisms.

It's hard to summarize monad in a paragraph and one or two examples don't illuminate, for example.

from functional-programming-jargon.

@jethrolarson We could start a wiki in this repo, maybe?

from functional-programming-jargon.

@jethrolarson Interested?

from functional-programming-jargon.

polymorphism

from functional-programming-jargon.

scopes as soon as programing language has symbols it has to deal with scopes. Basically it can ignore them and make one global scope. Or choose functions as scopes and visibility of higher-call stack scopes (hello closures). Or lexical scopes, or module scopes. It is also to choose different models of scopes for different types of symbols.

Language without symbols - simple lambda calculus.
One global scope - lambda calculus extended with symbols or assembly language.

from functional-programming-jargon.