flake_env: *experimental* direnv plugin for nix flakes

"ported the nix-direnv use_flake function to ReasonML. Implementing most things by hand in #ReasonML is pretty simple and (more importantly) portable. This removes most of the dependencies besides bash and nix. The bash that exists is pretty portable between versions, since it only does environment manipulation."
#nix
https://sr.ht/~bryan_bennett/flake_env/#:~:text=ported%20the%20nix,does%20environment%20manipulation.

🌗 GitHub - hazelgrove/hazel：Hazel，一個即時功能程式設計環境，具有型別洞
➤ 開發者專注的即時功能程式設計環境
✤ https://github.com/hazelgrove/hazel
Hazel 是一個基於類型理論原理的即時功能程式設計環境。它使用 ReasonML 撰寫，並提供線上試用版本。使用者可以透過 Git 複製專案，並使用 `make` 指令建置和執行 Hazel。文件提供了詳細的安裝說明，以及 VS Code 和 NeoVim 的建議設定，以提升開發效率。Hazel 透過 js_of_ocaml 編譯器將程式碼轉換為 JavaScript，以便在網頁瀏覽器中執行。
+ 這個工具看起來很有潛力！即時功能程式設計的概念很吸引人，特別是對於需要快速迭代和實驗的專案。
+ 雖然對 ReasonML 和 OCaml 不熟悉，但安裝指南看起來很完善，應該可以協助入門。對 VS Code 和 NeoVim 的支援也很貼心。
#開發工具 #功能程式設計 #Hazel #ReasonML #OCaml

@disconcision #hazel looks interesting. Not heard of yet.

Hazel is a live functional-programming environment rooted in the principles of type theory.

https://hazel.org/

https://github.com/hazelgrove/hazel

#functionalprogramming #elm #reasonml #ocaml

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!

So basically, it looks like the best way would be to:
1. Declare DTO types with *all* the fields (maybe using combining types if you use Rescript)
2. From these combined types, manually construct "entity" types. If needed, you can use composition (through records, tuples, etc) to combine multiple entities together.

#reasonml #Rescript #OCaml

2. OCaml has proper OOP, with inheritance, method overrides, all that stuff. But, unlike records, it's not easy to bind to JS objects, I think.
3. Somewhere on Rescript forum I saw something like "prefer explicitness to DRY". Which I guess makes sense?

#reasonml #Rescript #OCaml

What I think about it after some digging and poking around Melange and Rescript playgrounds:

1. Rescript can "combine" both object types and record types. If you have `type t1` and `type t2`, a `type t = {...t1, ...t2}` will have fields from both t1 and t2. But you can't put a variable of `type t` where a `t1` or `t2` is expected. At least this doesn't work: https://tinyurl.com/yv7j24mj

{cont}
#reasonml #Rescript #OCaml

A question about ReasonML/Rescript/OCaml on JS.
How do you deal with the lack of structure inheritance?

I'm mainly a backend dev with OOP background so I'm probably not seeing something.

But at work, our frontend has a lot of types (TS) like this:

```
type Client = BaseClient & {
assignees: Actor[]
}
```

We use these for types that we get from API (a base type + some additional fields).

How would you model something like that in Reason/Rescript/OCaml?

#reasonml #Rescript #OCaml

Okay, am I understanding this correctly?
1. You can't just use any NPM package in #Melange, you need to find compatible (as in, OCaml/ReasonML) packages?
2. You can't just put a JS file into Melange and be able to require it and use any code from it?

#ocaml #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

Ocaml rescript, reason ML , bucklescript та наступне революція у фронтенд розробці.

https://makertube.net/videos/watch/4ca63885-aee3-4874-a6f2-65138236f695

@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 😂

Talking with Gabriel Nordeborn ReScript, Relay and everything else!

https://watch.ocaml.org/videos/watch/e3e0dae6-5f69-43f2-bae9-65eaf1071ad6

Talking with António Monteiro about Melange, Esy, Reason, OCaml and more

https://watch.ocaml.org/videos/watch/4e362b66-3362-4390-83a9-92cd8ec8f013

Casually talking with Craig Ferguson about OCaml, Mirage, Irmin and more

https://watch.ocaml.org/videos/watch/f3aa87e9-67a1-4569-b154-67d2d185152b