franz_kafkaagh

The Emperor's Naked Army Marches On by Kazuo Hara

It's about a Japanese veteran of WWII seeking out and confronting his superiors that he's accusing of cannibalism.

All the films of Kazuo Hara are intense and very personal.

I'm hoping that https://github.com/josefs/Gradualizer and its Elixir counterpart get us closer to what "I" want. I find dialyzer often inscrutable compared to something like OCaml's or Haskell's type errors.

I do still use it and typespecs, because it's better than no checking.

I write Elixir for work and I love most things about the language.

The pattern-matching would still be made better with static checks. It sucks to have a function blow up at runtime because of something as trivial as args being swapped or some code somewhere changing its return types. Someone brought up Gleam earlier, but god why with that syntax?

I'd still rather have dynamic checked pattern matching over the alternative.

I learned functional programming first and I find it the opposite. And I find the context switch from functional to not is always difficult, namely because I can't just assume things are immutable and I have to go out of my way to make it so.

That's all to say that the mental overhead is just comfort more than anything.