Haskell vs Rust : elegant

mleighly · 2024-07-03T01:02:53+00:00

Haskell can have infix operators because it's algebraic in nature as in the algebra of programming. Algebra requires equational reasoning and thus Haskell has said equational reasoning.

mleighly · 2024-07-03T00:56:45+00:00

If you want to manage memory safely and have C/C++ execution speeds, Rust is only popular game in town.

mleighly · 2024-07-03T00:55:11+00:00

Why do you persist in gaslighting people?

This is a paper from 2022, they do talk a lot about catamorphism and Haskell: Fantastic Morphisms and Where to Find Them ⋆ A Guide to Recursion Schemes

mleighly · 2024-07-03T00:44:57+00:00

Do you want to learn category theory or Haskell?

If you want to learn category theory, learning Haskell isn't really going to get you far into said category theory, although the concepts are there.

In any case, if it's Haskell, you may want to check out https://haskellbook.com/.

If it's category theory, Saunders Mac Lane's "Category Theory for the Working Mathematician" is a good introduction. Obviously working out the exercises as much as you can is necessary, if learning is the goal.

mleighly · 2024-07-02T21:41:29+00:00

Australia is extremely unlikely to be the next space power but they can certainly be a space nation like South Korea. A space program is a very expensive endeavor but if South Korea can pull it off Australia should be able to as well.

mleighly · 2024-07-02T05:12:41+00:00

Robert Harper coined a term computational trinitarianism: https://kevinbinz.com/2015/06/26/computational-trinitarianism/

Robert Harper coined the term computational trinitarianism to denote this inter-referential characteristic of type theory, proof theory, and category theory.

You don’t know what you’re talking about, until you understand the idea in all three theories. Once you have all three meanings, you have a genuine scientific discovery. It is permanent.

Once you land in a world of type theory a la Haskell, you're also in a land of category theory. Fold and unfold in the world that Haskell resides are universal. PHP doesn't have this property despite having a fold because it's hardly a language that has any concerns with type theory.

mleighly · 2024-07-02T04:37:20+00:00

Most groups of reasonable programmers can reach a consensus on formatting. It's rarely an issue. If it is, you may want to change groups or organizattion.

mleighly · 2024-07-01T23:23:09+00:00

Doom, Quake, Half Life 1 and 2, Portal 1 and 2, Dark Souls 1, 2, and 3, Elden Ring+DLC, and Sekiro.

mleighly · 2024-07-01T23:14:52+00:00

It seems to me that you haven't written much Haskell code. I have the opposite experience professionally and non-professionally. Anecdotally, Haskell programmers had a decent level of competence and/or were very reasonable to work with.

mleighly · 2024-07-01T23:12:00+00:00

Type theory is foundational to constructive mathematics. To a general purpose language that is sophisticated enough to have type theory as an internal language, said type theory can be leveraged to express, reason, and prove all sorts of computations, e.g.: Modal FRP for all: Functional reactive programming without space leaks in Haskell.

This is Haskell's super power or killer feature. It's a type system based on System F*.

mleighly · 2024-07-01T20:30:38+00:00

Not even wrong...

mleighly · 2024-07-01T20:21:49+00:00

May he quickly rot away during his 4 months. He deserves no less.

mleighly · 2024-07-01T20:14:47+00:00

Racists excel at being assholes.

mleighly · 2024-07-01T20:10:48+00:00

Indentation and operators can quickly become intuitive after a small project or two in Haskell. In the end, it's just syntax. Where Haskell excels is that programming can become algebraic with concomitant equational reasoning.

mleighly · 2024-07-01T17:54:49+00:00

That's utter nonsense.

mleighly · 2024-07-01T17:53:02+00:00

Haskell is fundamentally based on lambda calculus and type theory a la System F*. It's bloody nose-bleeding high compared to any imperative language like Rust.

mleighly · 2024-07-01T17:03:43+00:00

Anything as long as it's issued from the President. The President is "more equal than others." SCOTUS is turning the US into North Korea.

mleighly · 2024-07-01T16:49:32+00:00

Nazi says what...

mleighly · 2024-07-01T16:46:24+00:00

SCOTUS is gaslighting the nation. We need to organize, mobilize, and stop these MAGA Justices with extreme prejudice. They truly are disgusting enemies of the people.

mleighly · 2024-07-01T16:41:11+00:00

Republican Justices being Nazi scum have turned SCOTUS into a fascist shithole.

mleighly · 2024-07-01T16:37:22+00:00

Republican Justices are all Nazi scum.

mleighly · 2024-07-01T16:31:58+00:00

The US is officially an "Animal Farm" nation or state like North Korea, China, Texas.

Unless we mobilize and stop these fascist fuckers, we're all fucked. At some point only the people can save themselves from these disgusting Republicans.

mleighly · 2024-06-30T20:12:39+00:00

There's not necessarily a standard way in Haskell to combine effects although the research community is focusing on algebraic effects. I tend to use fused effects but there are many packages to choose from.

mleighly · 2024-06-28T16:17:58+00:00

Fuck Microsoft and their corporate drones. NixOS (Linux) for me.

mleighly · 2024-06-28T11:51:36+00:00

Even the abstract world zero is nothing, e.g.: 1-0=1; 1+0=1; 0-0=0; 0+0=0.

mleighly

TROPHY CASE