News for hackers. Stuff that matters.

A comment on Kotlin: A Language with a Bright Future. Parent comment

Re:Kotlin: A Language with a Bright Future by tome on Wednesday November 29, 2017 @01:15PM (#15809271)
> Here are Xavier Leroy and Simon-Peyton Jones bemoan that the state of formal methods in FP is so far behind that of even "classical" imperative programming languages [4].

> [4]: http://homepages.inf.ed.ac.uk/stg/Milner2012/Monday_Panel-ht....

To you know the precise time in the video?

[ Parent | on HN ]

There are no comments on this comment yet.