#roclang — Public Fediverse posts

Thisnis actually starting to look better than I thought.

Mixing explicit type annotation and choosing some parts to be inferred is some cool shit.

----

A Preview of Roc 0.1.0 by Richard Feldman

https://www.youtube.com/watch?v=a7qEOtkkDb8

#functionalProgramming #FP #programming #programmingLanguages #roc #roclang

Lots of nice things going on here :blobcatcoffee:

----

How Our Rust-to-Zig Rewrite is Going
https://rtfeldman.com/rust-to-zig

#fp #functionalProgramming #zig #wasm #rust #roclang

@gvwilson I'd say Roc (https://www.roc-lang.org/), though it is a lot less mature.

#RocLang

I'd been looking for a modern, statically typed, functional language for years, and after using #GleamLang for about a year, I can say I've found it. Didn't expect it to be a BEAM language though!

Shout out to #OCaml, the current runner-up language and #RocLang which I'm looking forward to v0.1 of!

Reading about the Roc programming language, has some neat ideas -- distinction between the "standard library" and separately defined "platforms" is cool. https://www.roc-lang.org/platforms

#roclang

#roclang published 0.0.0-alpha1 ...

I am really looking forward to it.

https://ha.nnes.dev/blog/fuzzing-is-fun/

I tried #fuzzing and really enjoyed it, so I wrote a blogpost about it! It mentions some #RocLang stuff, but you don't need to know any Roc to read it :)

#blogpost #testing #fuzztesting

My first (proper) PR to the #RocLang compiler got merged! :)

https://github.com/roc-lang/roc/pull/7046

🎵 Roc developers, ready to rock "Bohemian Rhapsody" in code? 🪨💻 Take on our Lyrical Code Challenge and see your code on a t-shirt!

👉 Send a PR on the repo:

#CarolinaCodes #LyricalCodeChallenge #RocLang
https://github.com/brightball/carolina-code-conf-lyrical-challenge

@trespaul As much as I'm a #RocLang fan, for now, I think you're best off going with Haskell if you actually want to build something substantial. Roc just isn't stable or mature enough yet. If you're okay with just building toy projects for the next year or two then go all in on Roc, it's gonna get really good soon! 😊

@tweedegolf @folkertdev Good to see more #RocLang talks :)

Flatmaps and do-notation, but different >.>

----

Functional Semantics in Imperative Clothing - https://rtfeldman.com/imperative-clothing

#fp #roclang #functionalProgramming

https://hasnep.github.io/roc-packages

I wrote an unofficial package index website for #RocLang. The number of packages is growing quickly, and I have a bunch more that I'm close to releasing!

@jbzfn Interesting that you say people won't add type hints if they don't need to. With #ElmLang and #RocLang, you're not required to annotate anything, but almost everyone I've seen does annotate their functions.

started the #Wikidata entry on #RocLang yesterday:

https://www.wikidata.org/wiki/Q124813537

i wanted to add the logo, but Roc's license (UPL) doesn't have a license template on #WikimediaCommons, and creating one looks like a convoluted pain 🙄.

@abuseofnotation it seems #RocLang addresses this. it uses it's reference counting to see if data is still in use somewhere else and if not it may do operations in place. there are some talks on youtube about it, but i haven't followed the more recent developments.

I started again playing with #roc #roclang

I like it so far.

Oh nice, the #Roc #ProgrammingLanguage now has a polished website! :awesome: 💅

https://www.roc-lang.org/

My #prediction is: we'll see a v0.1 release in a year or so. 🤞

Definitely a language I'm going to learn!

#FunctionalProgramming #RocLang

#roclang is an interesting new(ish) language - featured on the ADSP podcast recently, with syntax reminiscent of OCaml, written in Rust.

I managed to write a FizzBuzz solution that almost exactly matches the provided example (seen after).

One thing I found curious (and hard to guess) was List.range which seems like it takes enums

https://www.roc-lang.org/builtins/List#range

so inclusive/exclusive ranges are spelled out

List.range { start: At 5, end: Before 9 }
List.range { start: After 5, end: Length 4 }

3½ hours later, I'm able to read a file… 😂
#RocLang #roc #noob

A really interesting (in a good way) choice by #roclang to not have a true or false keyword, instead using Bool.true and Bool.false to encourage using tags ("literals" - not quite enums; perhaps Symbols from a lisp perspective) where "Boolean blindness" might otherwise be an anti-pattern.

https://www.roc-lang.org/tutorial#booleans

It's a fairly new language, but of course that means less baggage, so I'm interested.

Whoa, #RocLang has a real website now! https://www.roc-lang.org/

All right, I *need* some form of this in #PureScript. I opened a thread on PureScript discourse (https://discourse.purescript.org/t/reference-counting-to-mutate-values-in-place-without-losing-referential-transparency/3804/2), and spent some time playing with some code. I don't know if it's possible to create an ergonomic library without compiler support but here's the repo where I'll be uploading code for my experiments for those interested (https://gitlab.com/ajnsit/purescript-linear-experiments).

#RocLang

https://functional.cafe/@haskman/111425967068663510

Can anyone familiar with #RocLang tell me how lists are implemented in it?

Honestly #rocLang is getting there although I don’t agree with all of their decisions