Stream: beginners

Topic: pseudophilosophical rambling


view this post on Zulip jan kili (Mar 23 2022 at 22:08):

Level 1: I like how some parts of Roc currently exist as an indefinite consensus between semi-strangers. Very few usage patterns are "solved" enough to be considered "best practice" yet, and even some primary language/ecosystem features that have strong high-level design consensus are still basically # TODO: This. in implementation.
Level 2: Hmm... even after Roc v1.0 releases, that will still be true! The roadmap is basically just a shared vision.
Level 3: That's true for a lot of software, actually - bugs are usually seen as deviations from intended/designed behavior (the consensus), instead of the implementation (the code).
Level 4: That's true for many things in life...
Level 5: Dang, now I have to post this comment semi-ironically :expressionless:

view this post on Zulip Folkert de Vries (Mar 23 2022 at 22:10):

if you're not from the pure FP tradition there are also a bunch of implicit assumptions

view this post on Zulip Folkert de Vries (Mar 23 2022 at 22:10):

where the plan is just to do it like elm is doing it, but if you're not aware of that, then that is not obvious

view this post on Zulip Folkert de Vries (Mar 23 2022 at 22:11):

or haskell or ocaml/lean/koka/whatever

view this post on Zulip jan kili (Mar 23 2022 at 22:16):

Yeah, I wasn't thinking about that FP/assumptions angle, but that's true. Those assumptions are especially significant for Roc, since we're marketing it as "FP for systems programming", which reads to me as "FP for people who don't trust FP", which I think leads to "FP for people who don't know FP" (like me!)

view this post on Zulip Folkert de Vries (Mar 23 2022 at 22:17):

absolutely, the aim is to appeal to an audience that doesn't currently use a language with roc's type system and other features/restrictions

view this post on Zulip Folkert de Vries (Mar 23 2022 at 22:18):

but, well, it takes time to put things in place

view this post on Zulip Folkert de Vries (Mar 23 2022 at 22:18):

and then also, a new language does mean you need to find new patterns

view this post on Zulip Folkert de Vries (Mar 23 2022 at 22:18):

rust code does not look like c++, even though the feature sets are similar


Last updated: Jul 06 2025 at 12:14 UTC