roc
articles
roc | articles | |
---|---|---|
23 | 11 | |
3,549 | 1,239 | |
3.1% | - | |
10.0 | 4.2 | |
6 days ago | 10 months ago | |
Rust | Haskell | |
Universal Permissive License v1.0 | - |
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.
roc
- Roc a fast, friendly, functional language
-
Roc – A fast, friendly, functional language
Their FAQ is an eminently reasonable breakdown of their choices:
https://github.com/roc-lang/roc/blob/main/FAQ.md
I don't fully agree with all of the reasoning, but it's a reasonable position to stake.
-
DreamBerd is a perfect programming language
If you forget what parametrisation and functions are, then Roc's modules look like they actually do that.
-
What If? Driven Development
Reminds me of: https://github.com/roc-lang/roc/blob/main/FAQ.md#why-doesnt-...
-
Current Issues with the Qt Project – From the Outside Looking In
> How would a user interface written in a functional language look?
Maybe you're not aware of Elm?
https://elm-lang.org
Elm is really functional, unlike the likes of React that are just partially, kind of functional.
There's an attempt at bringing Elm to the desktop, the Roc language... here's an UI example written in Roc:
https://github.com/roc-lang/roc/blob/main/examples/gui/hello...
-
Why and How We Retired Elm at Culture Amp
What are your thoughts on the direct descendant, Roc? [0] I know it's pre v0.1 so maybe you don't have any, but as a fellow Elm lover it seems pretty compelling on the surface albeit less directly frontend-dev focused.
[0] https://github.com/roc-lang/roc
-
The Spinnaker Programming Language
I might be misunderstanding something, but, for example, look at this "host"/platform: https://github.com/roc-lang/roc/blob/main/examples/cli/tui-platform/host.zig
- Roc's standard library was briefly written in Rust, but was soon rewritten in Zig.
-
When Zig is safer and faster than Rust
You are not alone. The other day I was checking out a new programming language and the author rewrote the unsafe rust part to zig: https://github.com/roc-lang/roc/blob/main/FAQ.md#why-does-ro...
-
Ask HN: What Happened to Elm?
Check out Roc[0][1] by Richard Feldman; it's early-stages (perhaps earlier stages than Elm?) but from everything I've seen it looks a bit like a spiritual successor to Elm, though focused more on native applications (but still seems to have its sights set on webassembly support too)
[0] https://www.roc-lang.org
[1] https://github.com/roc-lang/roc
articles
- 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?
lean4 - Lean 4 programming language and theorem prover
write-you-a-haskell - Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
purescript-flame - Fast & simple framework for building web applications
rfc - My slides and compilation of resources.
create-react-app - Set up a modern web app by running one command.
tangle - make analogue for higher kinded data
package.elm-lang.org - website for browsing packages and exploring documentation
frea - A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
purescript-cookbook - An unofficial Cookbook for PureScript
ShellCheck - ShellCheck, a static analysis tool for shell scripts
purescript - A strongly-typed language that compiles to JavaScript
hindley-milner - Template for Hindley-Milner based languages