Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.
Awesome Lists | Featured Topics | Projects
https://github.com/raivivek/kung-func

Functional programming constructs ... kung-fu style
https://github.com/raivivek/kung-func
Last synced: 4 days ago
JSON representation
Functional programming constructs ... kung-fu style
Host: GitHub
URL: https://github.com/raivivek/kung-func
Owner: raivivek
Created: 2014-11-05T20:19:51.000Z (about 10 years ago)
Default Branch: master
Last Pushed: 2018-12-28T04:37:32.000Z (almost 6 years ago)
Last Synced: 2023-07-13T11:33:17.247Z (over 1 year ago)
Language: Racket
Homepage:
Size: 33.2 KB
Stars: 6
Watchers: 2
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
Awesome Lists containing this project

README

        A repository documenting my journey with Functional Programming (using Haskell).

I will try to work through a number of Haskell learning resources one by one and

document my progress using this directory. All the code written is from my own

effort and hence represent a very introductory knowledge of Haskell. If you find

something laughable (or interesting?), please don't mind and feel free to point

out my mistakes.

## TODO

1. Introduction to Functional Programming (*partly complete*),

   [FP101x](https://courses.edx.org/courses/DelftX/FP101x/),

   [edX.org](http://edx.org)

2. [Ninety-Nine Haskell Problems](https://www.haskell.org/haskellwiki/99_questions)

## Doing

1. [SICP](http://mitpress.mit.edu/sicp/) (*In MIT Scheme*)

## Useful Collections

1. [gwern.net](http://gwern.net)

2. [bitemyapp/learnhaskell](https://github.com/bitemyapp/learnhaskell)

## Scavenged Links

*(Mostly collected from @headinthebox's tweets, Haskell mailing list)*

### Related to FP, Haskell etc.,

1. [User-defined Types and Procedural Data Structures as Complementary

   Approaches to Data

   Abstraction](http://repository.cmu.edu/cgi/viewcontent.cgi?article=2278&context=compsci)

2. [Programming Language Concepts — The Lambda Calculus

   Approach∗](http://wwwhome.ewi.utwente.nl/~fokkinga/mmf87c.pdf)

3. [OO versus FP — a little case

   study](https://maartenfokkinga.github.io/utwente/mmf95b.pdf)

4. [The Boom

   Hierarchy](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.49.3252&rep=rep1&type=pdf)

5. [Algebraic Data Types and Program

   Transformation](http://cgi.csc.liv.ac.uk/~grant/PS/thesis.pdf)

6. [Fold and Unfold for Program Semantics](http://www.cs.nott.ac.uk/~gmh/semantics.pdf)

7. [Types](http://web.archive.org/web/20080822101209/http://www.pphsg.org/cdsmith/types.html)

8. [Recursive Types for

   Free!](http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt)

9. * [The Implementation of Functional Programming

   Languages](http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/)

10. [Constructing a calculus of

    programs](http://www.kestrel.edu/home/people/meertens/publications/papers/Constructing_a_calculus_of_programs.pdf)

11. [Calculating Functional

    Programs](http://www.cs.ox.ac.uk/jeremy.gibbons/publications/acmmpc-calcfp.pdf)

12. [On Advanced Functional

    Programming](http://www.mseri.me/on-advanced-functional-programming/)

13. [Strong Typing](http://perl.plover.com/yak/typing/notes.html)

14. [Functional Programming with Bananas, Lenses, Envelopes and Barbed

    Wire](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.125)

15. [Monads for functional programming

    (1995)](http://citeseerx.ist.psu.edu/viewdoc/summary;jsessionid=E3EF5044D50D630339F9E28C64904623?doi=10.1.1.100.9674)

16. [Comprehending Monads

    (1992)](http://citeseerx.ist.psu.edu/viewdoc/summary;jsessionid=E3EF5044D50D630339F9E28C64904623?doi=10.1.1.33.5381)

17. [An introduction to the theory of lists

    (1987)](http://citeseerx.ist.psu.edu/showciting?cid=28004)

18. [A Partial Ordering of some Category Theory applied to

    Haskell](http://blog.sigfpe.com/2010_03_01_archive.html)

19. [Miranda: A non-strict functional language with polymorphic

    types](http://www.cs.kent.ac.uk/people/staff/dat/miranda/nancypaper.pdf)

20. [Church’s Thesis and Functional

    Programming](http://www.eis.mdx.ac.uk/staffpages/dat/ctfp.pdf)

21. [Monadic Parser Combinators](http://www.cs.nott.ac.uk/~gmh/monparsing.pdf)

22. [Haskell Communities and Activities Report

    2014](https://www.haskell.org/communities/11-2014/report.pdf)

23. [Purely Functional Data Structures](https://www.cs.cmu.edu/~rwh/theses/okasaki.pdf)

24. [Tackling the Awkward Squad: monadic input/output, concurrency, exceptions,

    and foreign-language calls in

    Haskell](http://research.microsoft.com/en-us/um/people/simonpj/papers/marktoberdorf/mark.pdf)

25. [Monads for the Curious Programmer, Part

    1](http://bartoszmilewski.com/2011/01/09/monads-for-the-curious-programmer-part-1/)

26. [The essence of functional programming - Philip

    Wadler](http://citeseer.ist.psu.edu/viewdoc/download?doi=10.1.1.38.9516&rep=rep1&type=pdf)

27. [A history of Haskell: being lazy with class - Paul Hudak, John Hughes,

    Simon Peyton Jones, Philip

    Wadler](http://haskell.cs.yale.edu/wp-content/uploads/2011/02/history.pdf)

28. [Functional Geometry](http://eprints.soton.ac.uk/257577/1/funcgeo2.pdf)

29. [Exact Real Arithmetic](https://www.haskell.org/haskellwiki/Exact_real_arithmetic)

30. * [The Conception, Evolution, and Application of Functional Programming

    Languages](http://haskell.cs.yale.edu/wp-content/uploads/2011/01/cs.pdf)

### Haskell Weekly News

1. April 23, [Weekly news 326](https://mail.haskell.org/pipermail/haskell-cafe/2015-April/119302.html)

1. April 14, [Weekly news 325](https://mail.haskell.org/pipermail/haskell-cafe/2015-April/119042.html)

2. April 9, [Weekly news 324](https://mail.haskell.org/pipermail/haskell-cafe/2015-April/118992.html)

3. April 1, [Weekly news 323](https://mail.haskell.org/pipermail/haskell-cafe/2015-April/118919.html)

4. March 26, [Weekly news 322](https://mail.haskell.org/pipermail/haskell-cafe/2015-March/118811.html)

5. March 28, [Weekly news 321](https://mail.haskell.org/pipermail/haskell-cafe/2015-March/118708.html)

6. March 13, [Weekly news 320](https://mail.haskell.org/pipermail/haskell-cafe/2015-March/118647.html)

7. March 4, [Weekly news 319](https://mail.haskell.org/pipermail/haskell-cafe/2015-March/118504.html)

8. February 26, [Weekly news 318](https://mail.haskell.org/pipermail/haskell-cafe/2015-February/118362.html)

9. February 17, [Weekly news 317](https://mail.haskell.org/pipermail/haskell-cafe/2015-February/118220.html)

10. February 5, [Weekly news 316](gmane.comp.lang.haskell.general/20511)

11. January 22, [Weekly news 315](https://mail.haskell.org/pipermail/haskell-cafe/2015-January/117829.html)

12. January 8, [Weekly news 314](https://mail.haskell.org/pipermail/haskell-cafe/2015-January/117679.html)

13. December 11, [Weekly news 313](https://mail.haskell.org/pipermail/haskell-cafe/2014-December/117261.html)

14. November 20, [Weekly news 312](https://mail.haskell.org/pipermail/haskell-cafe/2014-November/117034.html)

15. October 30, [Weekly news 311](https://mail.haskell.org/pipermail/haskell-cafe/2014-October/116668.html)

16. October 23, [Weekly news 310](https://mail.haskell.org/pipermail/haskell-cafe/2014-October/116599.html)

17. October 9, [Weekly news 309](https://mail.haskell.org/pipermail/haskell-cafe/2014-October/116371.html)

18. October 2, [Weekly news 308](https://mail.haskell.org/pipermail/haskell-cafe/2014-October/116280.html)

### General

1. [Rambles around computer science](http://www.cl.cam.ac.uk/~srk31/blog/2014/10/07/)

2. [Why functional programming matters

   (1989)](http://citeseerx.ist.psu.edu/viewdoc/summary;jsessionid=E3EF5044D50D630339F9E28C64904623?doi=10.1.1.33.5381)

3. [The Semantic Elegance of Applicative Languages](http://nsl.com/misc/sasl/paraffins-turner.pdf)

4. [Programming Pearls](http://www.cs.bell-labs.com/cm/cs/pearls/)

> Please report any broken or missing links via GitHub issue tracker or by creating

> a pull request.