weatherlight

ngl, I didn't even notice until you pointed it out.

Here's a good start. https://www.ericpfahl.com/from-pattern-matching-to-unificati...

It's type safe, it's important to note that its type system is a Hindley–Milner type system. Same type system family as OCaml, Haskell, Standard ML etc. Its syntax is heavily inspired by Rust. whereas Elixir's syntax is inspired by Ruby and Erlang's inspired by prolog.

https://en.wikipedia.org/wiki/Hindley–Milner_type_system

I've heard good things about this book, I didn't realize the examples were in SML. :)

I love FP. but this is way more readable than the above. It doesn't fight the ergonomics of javascript.

I've always loved Standard ML and feel it's never gotten the love that it deserved.

It was my introduction to typed FP concepts via this course (Part A) https://www.coursera.org/learn/programming-languages

    export const Child2Animation = 
      Co.Repeat(
        Co.Seq([
          Co.SetState(Child2.Updaters.Core.a(replaceWith(1)).then(
            Child2.Updaters.Core.b(replaceWith("")))),
          Co.Wait(250),
          Co.For(Range(0, 3))(
            _ =>
              Co.Seq([
                Co.SetState(Child2.Updaters.Core.a(_ => _ * 2)),
                Co.Wait(250),
                Co.SetState(Child2.Updaters.Core.b(_ => _ + ".")),
                Co.Wait(250),
              ])
          )
        ])
      );

> Not only is the code pretty self explanatory.

Is it though?

thats unfortunate...

Why is "Murders your wife" one of the columns and why did Reiser4 and ReiserFS qualify?

because lisp and consistency

(some-function-name arg1 arg2)

If you use an 96 core machine, or 96 individual machines with single core each, the Erlang code is going to look pretty much the same.

Private equity will only own about 20% of the company, only 20% of the stock was public to begin with. Why is everyone singing songs of doom and gloom?

I don't know Roc at all and but do know Standard ML and some OCaml.

The syntax looks very pretty, and it's very easy on the eyes. I'm excited for this project and its goals.

Simply inertia. Java is what people know and hire for unfortunately.

Sidenote, What editor is it that you use that's written in Ruby? I <3 Ruby and really do lean into its dynamic nature, (it's also one of the reasons I love Elixir as well.)

I'm sorry that you've been a dev for 25 years and you've never worked anywhere where microservices and distributed systems are the norm, being able to modularly combine and recombine systems can be invaluable for rapid development and testing.

yeah, Sounds pretty bloodless to me.

#notacathedral

I live here in Barcelona, it's a sight to behold :) It's minor basilica, not a cathedral though,

I use both Docker and NixOs at work. I've never had any of the problems you seemed to have above. Docker is fine, performance wise it's not great on Macs. I love nix because it's trivial to get something to install and behave the same across different machines.

Nix Doc are horrible but I've found that ChatGPT4 is awesome at troubleshooting Nix issues.

I feel like 90% of the time I run into Nix issues, it's because I decided to do something "Not the Nix way."

The authors argument that SQL's english-like syntax is a "well-intentioned error" overlooks the accessibility it provides. SQL, inspired by relational algebra, enables set-based operations, distinct from procedural programming's linear approach.

This is why SQL has endured for so long.

That mathematical base allows for efficient data manipulation across vast datasets.

To his point that no other languages strive to be spoken like, languages like ruby (and python to a degree )have successfully adopted a natural, english-like syntax, enhancing readability and developer productivity.

Emphasizing procedural over declarative concepts misinterprets SQL's core advantage: expressing complex data relationships and manipulations succinctly. Such perspectives miss the broader utility of making programming languages approachable and efficient for diverse tasks and user backgrounds.

Side rant: I just wish SQL was more composable.

checkout Gleam.

Have you played at all with Gleam?

https://gleam.run/cheatsheets/gleam-for-rust-users/

Further discussion -> https://news.ycombinator.com/item?id=39590246

Looks like Gleam is finally 1.0! Congrats to the Gleam team!

Using sentiment analysis on keywords in commit messages isn't "empirical," lol.

I think you are confusing efficiency and effectiveness. Markets, when regulated, can be an effective way to distribute goods and services.

What's the issue? I don't know Python,are these features uncommon?

Rationality is binary.

the very occurrence of speculative bubbles, (to be pedantic; where asset prices soar well beyond their intrinsic values and eventually crash) is a strong argument against market efficiency.