austral
yale-haskell
Our great sponsors
austral | yale-haskell | |
---|---|---|
17 | 2 | |
1,015 | 91 | |
4.2% | - | |
9.1 | 0.0 | |
about 1 month ago | about 10 years ago | |
OCaml | Scheme | |
Apache License 2.0 | GNU General Public License v3.0 or later |
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.
austral
-
Modern Pascal is still in the race (2022)
> But these days folks are mostly used to the C style syntax.
Mostly, but I'm told the new Austral[1] language has syntax very similar to that of Pascal's.
- Austral Programming Language
-
Why Use Pascal?
For the first couple of items on the list, Austral might be a language worth considering:
It's new so it obviously doesn't have the community of libraries to use, but it does have a very friendly and accessible Pascal-like syntax, while also having a state of the art linear type system.
-
Interested in "secure programming languages", both theory and practice but mostly practice, where do I start?
For something more new look at Austral.
- The seven programming ur-languages
-
Must move types by Niko Matsakis
https://austral-lang.org has linear types and doesn’t use RAII but it doesn’t have defer.
-
Borrow checker for Zig?
there are other languages simpler than rust which have similar functionality to the borrow checker. see e.g. https://austral-lang.org/
-
Embedded Systems Weekly #110
Lessons from Writing a Compiler The author of the Austral compiler shares what he learned while he wrote it. As he notes it himself at the beginning of the article, the reading is interesting because it focuses on some practical aspects rarely addressed in classical textbooks.
-
Lessons from Writing a Compiler
Integer arithmetic traps on overflow -- and that includes the often forgotten "divide by INT_MIN" case:
https://github.com/austral/austral/blob/01a6327815d1f9cc1097...
You have to use a different set of operators to get modular arithmetic semantics. So, the choice is not a flag you flip at build time, but a choice of operators.
-
Common Lisp
I like Common Lisp but I no longer use it. I'm pretty much completely burned out on dynamic typing. It feels like building on sand. I want calmer programming, even if it's less powerful. At present I'm building a new language[0] with that goal in mind.
yale-haskell
- Hell Is Other REPLs
-
Compiler in Lisp
Haskell
What are some alternatives?
Elm - Compiler for Elm, a functional language for reliable webapps.
csharplang - The official repo for the design of the C# programming language
conjure - Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)
deprecated-coalton-prototype - Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
go - The Go programming language
wuffs - Wrangling Untrusted File Formats Safely
racket - The Racket repository
paip-lisp - Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
Vacietis - C to Common Lisp compiler
julia - The Julia Programming Language
SLIMA - Superior Lisp Interactive Mode for Pulsar