[hokkos]

If strongly typed languages are preferred for AI coding, maybe the fixation on code quality make LLM produce better code.