Swift, Linear Haskell, Chapel, Ada/SPARK are all counter examples from such claim.

pjmlp • today at 4:54 PM • 1 reply • view on HN

lioeters • today at 5:47 PM

Also OxCaml, from what I hear.

alt Hacker News