[di4na]

All the stuff coming out of the Koka and Effekt development.

In particular last week i read their FBiP2 paper https://www.microsoft.com/en-us/research/uploads/prod/2023/0...

[anfelor]

Thanks, I am surprised and delighted to see our paper here! We also wrote a follow-up recently, which you may enjoy: https://www.microsoft.com/en-us/research/uploads/prod/2023/0...

[di4na]

Oh nice thanks!

I am slooooowwly working on my own language that is planned to use work from both you and the Effekt team, so i may send you all an email in the future when i start having questions.

[anfelor]

Sure, it would be great to chat! If you are interested in contributing to Koka at some point, there might also be opportunities there :)

[di4na]

Honestly probably not. I mean never say never.

But I have really limited free time and only work on a language for really specific reasons. Understand, nothing else seemed to try to solve the problem i have at hand.

That said, if the offer is a solid long term employment at good salary, i am open to negotiations. My email is on my blog and my profile iirc

[afroisalreadyin]

When I google for "koka effekt" I get pages in German about the effects of cocain. They should maybe reconsider the "Koka" part of the project name?

[anfelor]

These are two different languages, see https://effekt-lang.org/ and https://koka-lang.github.io/koka/doc/index.html -- although I believe that the FP^2 work mentioned by OP currently only works in Koka (and perhaps soon in Lean; https://leanprover.github.io/)

[di4na]

Indeed.

That said i am slowly writing my own language that will probably use ideas from both :D