News for hackers. Stuff that matters.

A comment on From zero to 10M lines of Kotlin. Parent comment

Re:From zero to 10M lines of Kotlin by bmc7505 on Wednesday October 26, 2022 @07:28PM (#33351008) 

  > Well, your own link proves it, doesn't it?
That code simulates a bounded cellular automaton, which effectively reduces to a regular language, but that's about as far as I've been able to get. If it's possible to implement general recursion, I'm not quite sure how - yet.

  > I ported that code directly to Kotlin
Can you share your translation of Eric's code? Maybe we can get it to work.
[ Parent | on HN ]
Re:From zero to 10M lines of Kotlin by lmm on Thursday October 27, 2022 @05:01AM (#33355029)
> They're not using Kennedy and Pierce's system, but it's closely related. See Tate (2013) [1], in particular, "In general, since declaration-site variance can easily be encoded into use-site variance..."

Well, Kotlin has both declaration-site and use-site variance. So surely that result applies.

> Can you share your translation of Eric's code? Maybe we can get it to work.

Ah I didn't mean that code, I meant the earlier C# one from SO. https://pl.kotl.in/4BrbZAmZG

[ Parent | on HN ]