lang@fun

Functional

Theory

Alligators, VEX

• http://worrydream.com/AlligatorEggs/
• http://propella.blogspot.fr/2011/09/yet-another-alligator-eggs-animation.html
• http://visual-languages.blogspot.fr/2008/12/alligator-eggs.html
• Alligator Editor:
  • https://www.youtube.com/watch?v=9I-2iRAkW5g
  • http://visual-languages.blogspot.fr/2009/07/alligator-eggs-revisited-again.html -> http://www.unibw.de/inf2/DiaGen/downloads/alligatoreggs-editor.jar
• VEX Visualization: http://visual-languages.blogspot.fr/2008/01/vex.html

Combinators

• In JS: https://gist.github.com/Avaq/1f0636ec5c8d6aed2e45
• In C#: https://github.com/louthy/language-ext/blob/master/LanguageExt.Core/Combinators.cs

As birds

• http://www.angelfire.com/tx4/cus/combinator/birds.html & http://dkeenan.com/Lambda/
• https://hackage.haskell.org/package/data-aviary-0.4.0/docs/Data-Aviary-Birds.html
• and some JS: http://samesake.com/log/2013/01/03/Three-little-birds/

Monads

• x https://weblogs.asp.net/dixin/Tags/Category%20Theory
• x https://mikhail.io/2016/01/monads-explained-in-csharp/
• x https://github.com/louthy/csharp-monad
• https://blogs.msdn.microsoft.com/alazarev/2017/05/20/fun-with-pure-c-and-monads/
• http://mikehadlow.blogspot.fr/2011/01/monads-in-c1-introduction.html -> See Part #2 for an application to validation...
• https://blogs.msdn.microsoft.com/wesdyer/2008/01/10/the-marvels-of-monads/ sic: "Composition is the key to controlling complexity in software." I'd even add "inheritance is not!"
• https://ericlippert.com/2013/02/21/monads-part-one/: Eric Lippert's attempt at explaining monads

Applicative functors, Linq...

• http://tomasp.net/blog/idioms-in-linq.aspx/
• http://tomasp.net/blog/idioms-in-linq.aspx/#csidiomsl
• http://bugsquash.blogspot.fr/2011/01/parsing-with-applicative-functors-in-f.html

Link between Linq & Monads

• https://stackoverflow.com/questions/19321868/linq-selectmany-is-bind
• http://tomasp.net/blog/idioms-in-linq.aspx/

Functional Validation

• http://bugsquash.blogspot.fr/2011/04/refactoring-to-monadic-c.html
• http://bugsquash.blogspot.fr/2011/08/refactoring-to-monadic-c-part-2.html
• http://bugsquash.blogspot.fr/2011/08/refactoring-to-monadic-c-applicative.html
• http://bugsquash.blogspot.fr/2011/08/validating-with-applicative-functors.html
• http://bugsquash.blogspot.fr/2012/03/example-of-applicative-validation-in.html

Misc

• Unlambda language: http://www.madore.org/~david/programs/unlambda/