Kotlin as well, through the ‘tailrec’ marker on a function. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		nhubbard 5 months ago \| parent \| context \| favorite \| on: My first verified imperative program Kotlin as well, through the ‘tailrec’ marker on a function.

kevindamm 5 months ago [–]

ah, thanks, good to know.. but does that make it optional? I kind of like how ocaml requires a letrec annotation on any recursive definition and I don't know when you wouldn't want to add tailrec

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact