News for hackers. Stuff that matters.

A comment on Generating a Java program with 90% less code. Parent comment

Re:Generating a Java program with 90% less code by maxdamantus on Wednesday December 04, 2019 @02:51PM (#21706199)
Actually, it kind of can:

https://tryidris.herokuapp.com/compile#YWRkIDogSW50IC0+IElud...

The above link refers to the following Idris code:

  add : Int -> Int -> Int
  add a b = a - b

  addTest : add 4 5 = 9
  addTest = Refl
[ Parent | on HN ]
Re:Generating a Java program with 90% less code by reitzensteinm on Wednesday December 04, 2019 @03:02PM (#21706320)
That unit test would be just as easily implemented with dynamic typing.
[ Parent | on HN ]