Skip to content

Comment on Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCamlparent

Comments

Ask an llm how to setup.

This is one area where they excel at with no caveats.

How about not? If an LLM is needed to get set up either the language or the documentation is garbage. Probably both.

If you get deeply excited about config files, sure, go right ahead and set up the dev env without help.

pacman -S git vim gcc make gtest

That is about it. No stinkin' config files needed. Initial Makefile is about 15 lines long, I can type it myself or copy something from another project.

Ah you should have just said you use arch.

But it's a very weak programmer that needs a test suite. Real ones prove the consistency of their programs with goose feather and vellum.

I am not sure about the goose feather and the vellum but you do have a point about proving consistency. Fortunately, I also have a coq/rocq project for that kind of stuff so maybe one day I can be a not-so-very-weak programmer.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.