spooky_deep

Since the macros run at compile time, I am ok with them not being statically checked. Statically checked macros seems like an academic curiosity.

What am I missing?

Not a bad idea, but…

Can Apple read the notes?

Can Apple switch you off?

Is it easy to edit from a non-Apple device?

What is a good way to do this but across many devices?

If your model is that you trust Maven to never change anything, then sure.

However, I think most people in the reproducible build space would consider Maven an external uncontrolled input.

Where did the packages come from? How did you know they hadn’t been changed at the bit-level since last time?

> The important point of this algorithm is that it’s fully deterministic.

The algorithm can be deterministic, but fetching the dependencies of a package is not.

It is usually an HTTP call to some endpoint that might flake out or change its mind.

Lock files were invented to make it either deterministic or fail.

Even with Maven, deterministic builds (such as with Bazel) lock the hashes down.

This article is mistaken.

Depends how you use the statically typed system.

For example

    match parseFoo json with
    | Ok foo -> 
      process foo
    | Error message ->
      print message

This will skip bad messages and be statically typed in the valid case.

There are auxiliary language features such as pattern matching that make pure functions viable at scale.

I wouldn’t say that static types remove the need for unit tests… but they do significantly reduce that need.

Static types and unit tests are not equivalent either. A static type check is a proof that the code is constructed in a valid way. Unit tests only verify certain input-output combinations.

Really needs a Docker image (maybe just not mentioned?) so one doesn’t have to wrestle pip and python versions.

Must cost a fortune for business to operate in such a low trust environment.

Free market types take note: good regulation and “red tape” can actually help free enterprise

The tram track situation on princes street was outrageous.

In some ways - particularly health and food security - definitely.

Although I wonder if loneliness, stress and lack of direction are much bigger problems today.

F# doesn’t have type classes (yet?) so programming with monads can be quite limited.

It would be interesting if F# skipped Haskell style monads and jumped straight to algebraic effects. They seem like a better fit for F# philosophy in any case.