Torsten Scholak

update: I added a `__init__.py`, and that allowed me to generate cpp code from `clients.pyx`. (see also https://github.com/facebook/fbthrift/blob/master/ThriftLibrary.cmake#L255)

Ok, small progress. I generated `gen-cpp2` and added a `setup.py` file in `gen-py3`: ```py from setuptools import setup from Cython.Build import cythonize setup( ext_modules=cythonize(["x/types.pyx", "x/clients.pyx", "x/services.pyx"], language_level=3), include_dirs=["../."] ) ```...

OK, I overcame some of the missing symbol errors by recompiling the pyx files `-lfolly -lthrift-core -lthriftcpp2`. Now, the remaining symbols all seem to point to `gen-cpp2`. There is no...

After a couple of days of trial and error, I figured out a `setup.py` that works for me. I post it here so that others don't have to go through...

For reference, Unison uses curly braces as well, https://www.unison-lang.org/learn/language-reference/ability-declaration/. Koka uses nothing or when necessary, https://koka-lang.github.io/koka/doc/book.html#sec-effect-types. Eff uses =>, https://www.eff-lang.org/handlers-tutorial.pdf, I think (unclear due to absence of docs). Frank uses...

Hi, before the holidays I finally found some time to read all of the dex papers. I understand that there are quite a few obstacles to general recursion due to...

Hi Adam, I've had a look at the writeup you linked to. I'm familiar with defunctionalization. It's used to get around a long-standing ghc limitation of not being able to...

lol, I just ran into this problem. any idea how this may be accomplished?

I wanted to generate a function isomorphic to `a -> Either a b`.

In the meantime, I circumvented the issue by generating `Either () (Fn a b)` and mapping this to `a -> Either a b` down the line. In the `Left` case,...