Carp – a statically typed, non-GC Lisp language (github.com)

> The GUI example in that page looks intriguing.

That's just SDL[0] though; they implemented basic SDL bindings.

[0] https://github.com/carp-lang/Carp/blob/master/core/SDL.carp

That's basically this[0] book, is it not?

Great book (the entire series) by the way.

[0] https://thelittletyper.com

"Checking Dependent Types with Normalization by Evaluation: A Tutorial" [1]

This one is cool too, I believe from the same author. I've read it recently and it makes pretty clear the intuition behind dependent types implementation.

[1] https://davidchristiansen.dk/tutorials/nbe/

Borrow checker like Rust.

They have documentation about that: https://github.com/carp-lang/Carp/blob/master/docs/Memory.md

It's interesting to see it's implemented in Haskell, looks like Clojure, has certain Rust-like semantics, and compiles to C. Quite an eclectic mix of languages going on here. Quite unusual that they don't mention anything about concurrency anywhere. The docs do say that there's a fork function, but there's no real information. Maybe the expectation is for developers to use C concurrency primitives?

    (defn say-hi [text]
      (while true
        (if (< (length &text) 10)
          (println "Too short!")
          (println &text))))

I knew the name sounded familiar, that was it

I saw a talk once by Siskind who was a very smart fellow. The origin of the name Stalin in this case came from "Static Language { (I)mplementatio(N) }" in deliberate contrast with "Dylan" [1] which was a more dynamic dialect of Lisp being developed at the time whose principles he disagreed with. I think he worked on Dylan originally, so one could also say he disagreed with the principals as well as the principles. ;-)

[1] https://en.wikipedia.org/wiki/Dylan_(programming_language)

I'm guessing it means virtual machine, which in this context might be better phrased as runtime. Think something like the JVM or Beam.

Wouldn't it mean Virtual Machine, so no BEAM, JVM, MoarVM, or whatever to handle the memory management behind the scenes?

Which is kind of funny, I wonder if that means they directly call sbrk and brk rather than using malloc and free.

What do you mean by optional parentheses? Are you referring to the square brackets? Carp is inspired by Clojure, and in both [] is a reader macro that instantiates an array (a vector, as opposed to a list). I'm not a fan of using the array syntax to define function arguments.

I'm not sure what you mean by optional parenthesis. I'd say optional separators are a legacy feature, I don't think anyone writes Carp with separators.

Note: I'm a contributor.

I think it was closer to 10 billion actually

very insensitive to all the nazis he killed

a) IIRC, the slogan was "Stalin Brutally Optimises"

b) non-hackers pick names in hopes of glorification by reference; hackers pick names that are pejorative: eg git

Когда называть вещи, щепки летят.

Do you have something to comment about the language, though?

Stalin — man of steel — was his nom de guerre, just as many people are (or at least that was long the convention) referred to by their usernames.

The term is used quasi-ironically on this very site, when people say they will “steelman” an argument. And there are many other people born with that name in various languages, such as Stahlman or, notably around here, Stallman.

I’m not to trying to defend one of the most brutal dictators in history, but since you’re the one who raised the onomastic issue…

4 million just in Ukraine. (All this is pre-WWII.) How many of 30M Soviets died because the whole officer corps was executed just shy of WWII? Or because all military assets were poised at the border, easily bypassed, not defending cities?

The first actual census in USSR came up 15M "short", but it is unknown how many were killed, vs. previously overcounted because of weird czarist policy inherited from Mongol rule: peasants who escaped were still counted against a town's tax obligations.

Making nukes whose spiritual descendants will be handed over to Putin's insane successors, as Russian Federation splinters, might do in the whole world.

"Eschew flamebait. Avoid generic tangents."

https://news.ycombinator.com/newsguidelines.html

We detached this subthread from https://news.ycombinator.com/item?id=34027264.

I was wondering what happens if you make CARP an Object Oriented Language...

> 1) Network lib (http client + server)

There are protocols other than HTTP, too.

>Go-Lang (I know not everyones.cup of tea) what they did do right from day one is include these basics in the stdlib. They really wanted ppl to use it to build stuff!

This is one possible philosophy. Another is the one rust is following.

So you see someone's

- open source project on the internet

- that clearly states it's a research project

and instead of commenting on the project, you complain that it doesn't have the libraries you need for your job.

Brilliant!

You know, there is this flashy new language called Rust. Not that well known yet, I admit.

It doesn't have any of the above in the standard library, apart from threads, and it seems to be doing fine...

Building a language is a massive amount of work already. Building out a reasonable cross platform standard library is a huge amount of work on top.

These things can easily provided by libraries. (apart from concurrency)

Besides, if you look at the commit history, the language doesn't seem to be developed anymore anyway, just a few commits in the last year.

> but to code something practical in 2022, We need to be able to connect and talk to other programs…i want to be able to actually use it

Sounds like perfect things for you to work on to learn and enjoy programming with carp!