Comment by korpiq

What programming language would cause least friction for providing discrete types for all domain primitives or even all handled data?