Viewing profile — spooky_deep

You don’t want a language with non-determinism, arbitrary IO, impure functions etc. for build configuration ideally. I guess the answer to your question is OCaml has unmanaged side…

They don’t know how good they really have it :)

Horrible. Would’ve been much nicer if they’d reached for Scheme.

CMake was never declarative AFAIK? CMake today is effectively an eso-lang / Turing tarpit with some “modern” declarative conventions that people try to push.

You need unbounded recursion no?

None of those are close to peak HBO content sorry.

They already are? All popular models have a team working on fine tuning it for sensitive topics. Whatever the companies legal/marketing/governance team agree to is what gets tuned.…

Do the problems get harder each day?

Paris is not bike friendly (much better than a decade ago of course)

Why the Copenhagenize Index when Copenhagen is not particularly bike friendly by Dutch standards?

100%. Only a North American could consider Montreal bike friendly.

What’s a good way to include Unison code in a more traditional Git monorepo?

I can say why I bounced off of Nix. Lots of package combinations didn’t work and I was not skilled enough to figure out why. The error messages are terrible. They don’t provide eno…

I’d bet that most PC Windows gamers care a lot more about Steam than they do about Windows. If Microsoft did anything drastic - like blocking Steam like Apple do on iOS - it would …

You mean PS3 Linux?

Google blessed Python at a time when Java didn’t even have lambdas.

A good compiler will make the lists disappear in many cases. No runtime overhead. I actually love single linked lists as a way to break down sequences of problem steps.

Property based testing is fantastic. Why is it not more popular? My theory is that only code written in functional languages has complex properties you can actually test. In impera…

The irony here is UV is written in Rust.

Python is slow due to design decisions in the language. For example operator dispatch is slow without some kind of static analysis. But this is hindered by how dynamic the language…

Roc Lang could be a nice fit. They are very precise about numbers.

When DuckDB queries across multiple sources (say, Postgres and a CSV) does it first load all data into DuckDB or is it smart enough to only pull minimal data needed for the query o…

Type checks are proofs across all inputs. Tests are proofs across a given set of inputs. They are complimentary. If you want really robust code, use both.

Scala still offers lots over modern Java. The issue for me is that Scala design lacks focus. They say yes to too many features.

Yes it was too rigid. Too much boiler plate. The design space of functional UI is still being explored.