4 ms·

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/

• afroisalreadyin 3y ago
  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 3y ago
    These are two different languages, see https://effekt-lang.org/ https://effekt-lang.org/ and https://koka-lang.github.io/koka/doc/index.html 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/ https://leanprover.github.io/)
    • di4na 3y ago
      Indeed. That said i am slowly writing my own language that will probably use ideas from both :D
• anfelor 3y ago
  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/07/fiptree-tr.pdf https://www.microsoft.com/en-us/research/uploads/prod/2023/0...
  • di4na 3y ago
    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 3y ago
      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 3y ago
        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