rfc
My slides and compilation of resources. (by soupi)
articles
Miscellaneous articles. The readme is the table of contents. (by quchen)
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
rfc
Posts with mentions or reviews of rfc.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-02-13.
-
Self-studying PLT over the summer
https://github.com/soupi/rfc/blob/master/fun-compilers.md has a few resources that might be helpful.
-
interpreter vs compiler
imo check out fun-compilers.md and follow one of the courses at the top while translating OCaml to Haskell.
-
Resources to understand code generation from AST?
Fun compilers has some links for you. In particular I'd recommend:
-
Constructing a Compiler in a Functional Programming Language?
I have a few slides on compilers and Haskell (a functional language, kinda similar to sml), I hope this will make the picture a bit clearer to why fp langs are effective for compilers.
- Any sort of write ups for various GHC extensions?
-
Would a functional language like Haskell be worse off in developing a compiler as opposed to a systems language like Rust, C, etc?
I'd like to address your first question, I gave a talk once about the relationship between compilers and Haskell, and at the bottom I link to a bunch of resources on compiler construction using Haskell/functional languages, including a compilers book using Haskell.
-
Materials to learn about implementing functional programming languages
My list of resources
articles
Posts with mentions or reviews of articles.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-12.
- Haddock+Doctest+Cairo = ♥
- Löb and möb: strange loops in Haskell (2015)
- Löb and möb: strange loops in Haskell
-
Writing a function to test Functor's second law
Note that you only need to test the first law, because the second law follows automatically from it in Haskell.
-
Why roc does not have a Maybe type
Article related.
-
tangle: Heterogenous memoisation monad
so like loeb?
What are some alternatives?
When comparing rfc and articles you can also consider the following projects:
learn-haskell-blog-generator - Learn Haskell by building a blog generator - an introductory book about Haskell.
roc - A fast, friendly, functional language. Work in progress!
Haskell - I will record my Haskell learning process. I will collect working code here also.
write-you-a-haskell - Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
elsa - Elsa is a lambda calculus evaluator
tangle - make analogue for higher kinded data
frea - A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
ShellCheck - ShellCheck, a static analysis tool for shell scripts
hindley-milner - Template for Hindley-Milner based languages