#reasonml — Public Fediverse posts

A year or so ago, I posted about an intriguing, new #programming language called #MoonBit, which I discovered on the #wasm site. MoonBit is designed expressly for edge, cloud, and IoT. It has all the much-adored OCamlisms. And despite my dislike of ALGOLish blocky syntax, I say without reservation that MoonBit’s syntax is tastefully designed. In other words, MoonBit is #ReasonML done right.

Of late, this language has matured rather quickly. Its toolchain is refined. Documentation is comprehensive—a rarity amongst new languages. Yet, the website conservatively claims to be not yet production-ready. Humble—good on them.

But despite this refreshing humility, the examples include an implementation of the λ-calculus and the graph reduction G-machine. 💪

Anyone who likes #OCaml but wants an “on the edge”, lightweight, wasmy language should give MoonBit a try.

https://www.moonbitlang.com

Case Study: Automating Type Safety for Mission-Critical Industrial Systems, by Stack Builders

https://www.stackbuilders.com/case-studies/plow-technologies-automating-type-safety-at-scale-for-mission-critical-industrial-systems/

#Haskell #Ocaml #ReasonML

Okay, so I've got a new codebase as well. I'm switching over to #ReasonML for my backend development. This will make it super easy to prop up a website along with my backend interface (on #nodejs) to my database. Then I can run experiments and testing using the backend interface before launching the mobile app. Learning a lot!

@rauschma What is your opinion of #ReScript (https://rescript-lang.org/)? It has somewhat an #OCaml heritage via #ReasonML

Edit: Just looked at the source for Grain; it’s mostly ReasonML!

I wish #rescript had first-class monads 😭 I need my >=>
At the very least bring back online module opening syntax from #ReasonML and #OCaml 😔

#haskell #programming #functionalprogramming

@xyhhx I used to host #ReasonML meetups in #phx

What are you using nowadays?

Time for an #introduction

I'm John and quite new to the #fediverse but this feels like how the internet was back in the 90's and I love it.

My partner is not on #mastodon but we've been together for over 2 decades. We have 2 high energy girls that are delightfully weird.

I love #fitness and I have been a #powerlifter for over 10 years with various success.

I am a #FunctionalProgrammer and write #ReasonML #OCaml at Ahrefs.

I'm 1 half of the duo that made GitKraken and was the VPoE at Qwick

@dolanor @rollbrettklauen Indeed #Haskell is a powerful language, as well as #OCaml, as #Scala (but I understand you want to avoid the JVM). As far as tooling is concerned, all of them have some level of incidental complexity though. There's also #PureScript, which is a dialect of Haskell that transpiles to JavaScript, #ReasonML (dialect of OCaml), and ScalaJS (which still suffers from the same tooling of its parent). Funnily enough, the only language with a low complexity tooling wise is Elm

#ReasonML looks cool af! I need to find some project to use it on.

https://reasonml.github.io/en/

@iyalei right?! Actually I think it's just comforts and the false promises of being able to hack something together quickly that infect all of the imperative programming world. You have to remember a lot of JavaScript folks learned C or Java first, or were trained by others who did.
I wish we could bring #FlowType back too but Facebook gave up on it to build #ReasonML and since there are #Rust UI frameworks now we might as well fall forward to coding in a proper ML with real type safety 😂

@iyalei right?! Actually I think it's just comforts and the false promises of being able to hack something together quickly that infect all of the imperative programming world. You have to remember a lot of JavaScript folks learned C or Java first, or were trained by others who did.
I wish we could bring #FlowType back too but Facebook gave up on it to build #ReasonML and since there are #Rust UI frameworks now we might as well fall forward to coding in a proper ML with real type safety 😂

@iyalei right?! Actually I think it's just comforts and the false promises of being able to hack something together quickly that infect all of the imperative programming world. You have to remember a lot of JavaScript folks learned C or Java first, or were trained by others who did.
I wish we could bring #FlowType back too but Facebook gave up on it to build #ReasonML and since there are #Rust UI frameworks now we might as well fall forward to coding in a proper ML with real type safety 😂

@iyalei right?! Actually I think it's just comforts and the false promises of being able to hack something together quickly that infect all of the imperative programming world. You have to remember a lot of JavaScript folks learned C or Java first, or were trained by others who did.
I wish we could bring #FlowType back too but Facebook gave up on it to build #ReasonML and since there are #Rust UI frameworks now we might as well fall forward to coding in a proper ML with real type safety 😂

@iyalei right?! Actually I think it's just comforts and the false promises of being able to hack something together quickly that infect all of the imperative programming world. You have to remember a lot of JavaScript folks learned C or Java first, or were trained by others who did.
I wish we could bring #FlowType back too but Facebook gave up on it to build #ReasonML and since there are #Rust UI frameworks now we might as well fall forward to coding in a proper ML with real type safety 😂

@oriSomething Slow compilation is extremely difficult for good web development. The incremental compilation speed in OCaml is very very very very good. Anyway it just tickles my interest, I've been very distant from #reasonml ever since I touched Rust but I have a warm place for it in my heart 😁

@wfaler #ReasonML looked interesting - then kinda forked to #ReScript (https://rescript-lang.org - which is just the buckle script layer) and it’s direction got confusing from the outside.

Maybe I should just start looking at #FSharp and .NET

What I like about #Svelte is that it works with #RxJS out of the box. It's no fluff and easy to get started with.
What I like about #SolidJS is that it's reactivity that makes sense.
What I like about #Angular is that it works great with teams and has a rock-solid architecture, forces me to use #TypeScript, plus #RxJs .

btw:
I'm still sad about #ReasonML - I liked that a lot (#OCaml for #Frontend - way better than TS!). But the ecosystem was too small, plus the switch to #ReScript hurt.

@rauschma I remember when I added #reasonml to our web project, at first our devops thought it was failing to bundle anything, because it finished in less than a second.

I had to give them a demo that my build system actually outputs and processes input reason files. And not just silently fails and proceeds to next step.

That's what I call blazing fast :)

I just encountered an issue in #revery while working on my “create a text editor in #reasonml “ project where horizontal scroll in ScrollViews is broken [0].

*sigh* Does this mean I have to create my own? That sort of goes against my goals for the project since that would increase the complexity significantly.

I guess I’ll try to fix the problem and submit a PR? Not confident I can actually fix the problem, but it’d definitely reduce complexity for me 😬

[0] https://github.com/revery-ui/revery/issues/287

I did a thing.

Kakoune (-ish) mode for VSCode. It's just the very basics right now, but I'll keep adding to it while there are things I miss from actual Kakoune.

https://marketplace.visualstudio.com/items?itemName=reykjalin.vscode-kakoune

#vscode #kakoune #reasonml

@codesections and you can add #reasonml to that list!

I've been getting really into #reason lately and I'm quickly falling in love.

Right now I'm following Pailey Quilts' tutorial on writing a text editor [0], but using Reason and #revery instead of C.

I thought this might be of interest to others so I'm writing a tutorial of my own following the shape of Pailey's original guide.

I'm also hoping writing about this will help me actually /finish/ a project this time 😬

Check it out!

https://www.thorlaksson.com/build-your-own-text-editor-with-reason-getting-started/

[0] https://viewsourcecode.org/snaptoken/kilo/

#reasonml

I've been getting really into #reason lately and I'm quickly falling in love.

Right now I'm following Pailey Quilts' tutorial on writing a text editor [0], but using Reason and #revery instead of C.

I thought this might be of interest to others so I'm writing a tutorial of my own following the shape of Pailey's original guide.

I'm also hoping writing about this will help me actually /finish/ a project this time 😬

Check it out!

https://www.thorlaksson.com/build-your-own-text-editor-with-reason-getting-started/

[0] https://viewsourcecode.org/snaptoken/kilo/

#reasonml