On: Ask HN: Is there a programming language with embedded testing support?

[based2]

https://en.wikipedia.org/wiki/Design_by_contract

https://coq.inria.fr/about-coq

http://www.adacore.com/adaanswers/about/ada-comparison-chart

http://www.adacore.com/gnatpro/toolsuite/utilities/

https://github.com/lampepfl/dotty

http://www.scalatest.org/getting_started_with_feature_spec

http://etorreborre.github.io/specs2/

http://www.gebish.org/

http://spockframework.github.io/spock/docs/1.1-rc-2/introduc...