mirror of
https://github.com/exaloop/codon.git
synced 2025-06-03 15:03:52 +08:00
* Add Python extension lowering pass * Add DocstringAttribute * Add extension module codegen * Handle different argument counts efficiently * Add warnings to extension lowering * Fix module name * Fix extension codegen * Fix argument check * Auto-convert Codon exceptions to Python exceptions * Fix #183 * Fix #162; Fix #135 * Fix #155 * Fix CPython interface in codegen * Fix #191 * Fix #187 * Fix #189 * Generate object file in pyext mode * Convert Codon exceptions to Python exceptions * Fix vtable init; Fix failing tests on Linux * Fix #190 * Fix #156 * Fix union routing * Remove need for import python * Automatic @export and wrapping for toplevel functions * Reorganize API * Add Python extension IR structs * Add special calls for no-suspend yield-expr * Add special calls for no-suspend yield-expr * pyextension.h support [wip] * pyextension.h support [wip] * pyextension.h support * pyextension.h support for toplevel functions * clang-format * Add PyFunction::nargs field * Update pyextension codegen (WIP) * SUpport nargs * Add support for @pycapture * PyType codegen (WIP) * Py method codegen (WIP) * Add type ptr hook * Add getset codegen * Add type alloc function * Add type pointer hook codegen * Re-organize codegen * Add member codegen * Update module init codegen * Update module init codegen * Add support for typePtrHook and new to/from_py hooks * Fix extension codegen * Fix init codegen * Fix init codegen; add "tp_new" slot * Fix type hook * Add extra flags * Specialized wrappers (PyType specs) * Add static Python link option * Fix C imports * Add guards * Remove unused field * Python mode only when pyExt set * Update python module * Fix assert * Update codegen/passes * Fix tuple parsing in index expression * Fix empty tuple unification * Do not Cythonize underscore fns * clang-format * Fix switch * Add Py support for cmp/setitem * Add Py support for cmp/setitem * Add type is support * GetSet support * clang-format * GetSet support (fixes) * Avoid useless vtable alloc * Add iter support * Fix size_t capture bug * clang-format * Fix POD type unification with tuples * Add __try_from_py__ API * Fix annotation * Add static reflection methods (setattr; internal.static.*); refactor PyExt to python.codon; handle errors and kwargs in PyExt * Python compat fixes * Update Python object conversions * Fix PyErrors * clang-format; add copyright * Add PyFunction::keywords field * Fix JIT MRO handling; Refactor out Jupyter support * Refactor out Jupyter support * Add support for custom linking args (link=[]) to TOML plugins * Fix tests * Use g++ instead of gcc * Fix Jupyter CMAKE * Fix Jupyter CMAKE * Add _PyArg_Parser definition * Add complex64 type * Add extra complex64 tests * Fix Python calls; add staticenumerate * Fix call * Fix calls * Update pyext wrappers * Fix staticenumerate; Support static calls in tuple() * Fix pyext routing * Add add/mul for tuples * clang-format * Fix pyext codegen * Fix wrap_multiple * Add seq_alloc_atomic_uncollectable * Fix default generics issue * Add binary/ternary ops * Fix missing generic issue * Fix number slots * Update pow * Remove unnecessary pyobj * Fix allocation * Refactor errors * Add test extension * Fix formatting * clang-format * Fix getitem/setitem/delitem in pyext * Fix pyext iterators * Add builtin pow() (fix #294) * Fix #244 * Fix #231 * Fix #229 * Fix #205 * Update docs * Fix error message * Add pyext tests * Add pyext support for @property * Add pyext support for toplevel fns and @tuple classes * More pyext tests * More pyext tests * Fix file error checking * More pyext tests * Update pyext tests * Update docs * Add pyext test to CI * Add pyext support for @tuple.__new__ * Add pyext support for @tuple.__new__ * Fix hetero-tuple issue with fn_overloads * More pyext tests * Bump versions * Fix del magic in pyext * Fix init magic for tuples in pyext * Have test-pypi only run on develop branch * Make exception type indices unnamed-addr * Fix #316; Fix #317 (slash issue) * Use uncollectible-alloc for vtable * Fix #249 * Add pyext docs * Fix #249; Fix clashing vtables; Fix super() and class_copy * Add content-atomic type property instruction * __contents_atomic__ support * Update internal functions * Use PIC when generating Python extension * Cleanup * Add Dockerfile & fix -fPIC * Cleanup * Fix setup.py * Fix pyext fn iteration * Fix CI * clang-format * Update long conversions in Py bridge * Support wide-int to str conversions * Fix test * Add pow for arbitrary-width ints * Fix Linux backtraces * Cleanup * Add more tests * Fix docs; Remove tuple.__add__ for scalars * Update docs --------- Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
190 lines
5.1 KiB
Markdown
190 lines
5.1 KiB
Markdown
Codon includes a build mode called `pyext` for generating
|
|
[Python extensions](https://docs.python.org/3/extending/extending.html)
|
|
(which are traditionally written in C, C++ or Cython):
|
|
|
|
``` bash
|
|
codon build -pyext extension.codon # add -release to enable optimizations
|
|
```
|
|
|
|
`codon build -pyext` accepts the following options:
|
|
|
|
- `-o <output object>`: Writes the compilation result to the specified file.
|
|
- `-module <module name>`: Specifies the generated Python module's name.
|
|
|
|
{% hint style="warning" %}
|
|
It is recommended to use the `pyext` build mode with Python versions 3.9
|
|
and up.
|
|
{% endhint %}
|
|
|
|
# Functions
|
|
|
|
Extension functions written in Codon should generally be fully typed:
|
|
|
|
``` python
|
|
def foo(a: int, b: float, c: str): # return type will be deduced
|
|
return a * b + float(c)
|
|
```
|
|
|
|
The `pyext` build mode will automatically generate all the necessary wrappers
|
|
and hooks for converting a function written in Codon into a function that's
|
|
callable from Python.
|
|
|
|
Function arguments that are not explicitly typed will be treated as generic
|
|
Python objects, and operated on through the CPython API.
|
|
|
|
Function overloads are also possible in Codon:
|
|
|
|
``` python
|
|
def bar(x: int):
|
|
return x + 2
|
|
|
|
@overload
|
|
def bar(x: str):
|
|
return x * 2
|
|
```
|
|
|
|
This will result in a single Python function `bar()` that dispatches to the
|
|
correct Codon `bar()` at runtime based on the argument's type (or raise a
|
|
`TypeError` on an invalid input type).
|
|
|
|
# Types
|
|
|
|
Codon class definitions can also be converted to Python extension types via
|
|
the `@dataclass(python=True)` decorator:
|
|
|
|
``` python
|
|
@dataclass(python=True)
|
|
class Vec:
|
|
x: float
|
|
y: float
|
|
|
|
def __init__(self, x: float = 0.0, y: float = 0.0):
|
|
self.x = x
|
|
self.y = y
|
|
|
|
def __add__(self, other: Vec):
|
|
return Vec(self.x + other.x, self.y + other.y)
|
|
|
|
def __add__(self, other: float):
|
|
return Vec(self.x + other, self.y + other)
|
|
|
|
def __repr__(self):
|
|
return f'Vec({self.x}, {self.y})'
|
|
```
|
|
|
|
Now in Python (assuming we compile to a module `vec`):
|
|
|
|
``` python
|
|
from vec import Vec
|
|
|
|
a = Vec(x=3.0, y=4.0) # Vec(3.0, 4.0)
|
|
b = a + Vec(1, 2) # Vec(4.0, 6.0)
|
|
c = b + 10.0 # Vec(14.0, 16.0)
|
|
```
|
|
|
|
# Building with `setuptools`
|
|
|
|
Codon's `pyext` build mode can be used with `setuptools`. Here is a minimal example:
|
|
|
|
``` python
|
|
# setup.py
|
|
import os
|
|
import sys
|
|
import shutil
|
|
from pathlib import Path
|
|
from setuptools import setup, Extension
|
|
from setuptools.command.build_ext import build_ext
|
|
|
|
# Find Codon
|
|
codon_path = os.environ.get('CODON_DIR')
|
|
if not codon_path:
|
|
c = shutil.which('codon')
|
|
if c:
|
|
codon_path = Path(c).parent / '..'
|
|
else:
|
|
codon_path = Path(codon_path)
|
|
for path in [
|
|
os.path.expanduser('~') + '/.codon',
|
|
os.getcwd() + '/..',
|
|
]:
|
|
path = Path(path)
|
|
if not codon_path and path.exists():
|
|
codon_path = path
|
|
break
|
|
|
|
if (
|
|
not codon_path
|
|
or not (codon_path / 'include' / 'codon').exists()
|
|
or not (codon_path / 'lib' / 'codon').exists()
|
|
):
|
|
print(
|
|
'Cannot find Codon.',
|
|
'Please either install Codon (https://github.com/exaloop/codon),',
|
|
'or set CODON_DIR if Codon is not in PATH.',
|
|
file=sys.stderr,
|
|
)
|
|
sys.exit(1)
|
|
codon_path = codon_path.resolve()
|
|
print('Found Codon:', str(codon_path))
|
|
|
|
# Build with Codon
|
|
class CodonExtension(Extension):
|
|
def __init__(self, name, source):
|
|
self.source = source
|
|
super().__init__(name, sources=[], language='c')
|
|
|
|
class BuildCodonExt(build_ext):
|
|
def build_extensions(self):
|
|
pass
|
|
|
|
def run(self):
|
|
inplace, self.inplace = self.inplace, False
|
|
super().run()
|
|
for ext in self.extensions:
|
|
self.build_codon(ext)
|
|
if inplace:
|
|
self.copy_extensions_to_source()
|
|
|
|
def build_codon(self, ext):
|
|
extension_path = Path(self.get_ext_fullpath(ext.name))
|
|
build_dir = Path(self.build_temp)
|
|
os.makedirs(build_dir, exist_ok=True)
|
|
os.makedirs(extension_path.parent.absolute(), exist_ok=True)
|
|
|
|
codon_cmd = str(codon_path / 'bin' / 'codon')
|
|
optimization = '-debug' if self.debug else '-release'
|
|
self.spawn([codon_cmd, 'build', optimization, '--relocation-model=pic', '-pyext',
|
|
'-o', str(extension_path) + ".o", '-module', ext.name, ext.source])
|
|
|
|
ext.runtime_library_dirs = [str(codon_path / 'lib' / 'codon')]
|
|
self.compiler.link_shared_object(
|
|
[str(extension_path) + '.o'],
|
|
str(extension_path),
|
|
libraries=['codonrt'],
|
|
library_dirs=ext.runtime_library_dirs,
|
|
runtime_library_dirs=ext.runtime_library_dirs,
|
|
extra_preargs=['-Wl,-rpath,@loader_path'],
|
|
debug=self.debug,
|
|
build_temp=self.build_temp,
|
|
)
|
|
self.distribution.codon_lib = extension_path
|
|
|
|
setup(
|
|
name='mymodule',
|
|
version='0.1',
|
|
packages=['mymodule'],
|
|
ext_modules=[
|
|
CodonExtension('mymodule', 'mymodule.codon'),
|
|
],
|
|
cmdclass={'build_ext': BuildCodonExt}
|
|
)
|
|
```
|
|
|
|
Then, for example, we can build with:
|
|
|
|
``` bash
|
|
python3 setup.py build_ext --inplace
|
|
```
|
|
|
|
Finally, we can `import mymodule` in Python and use the module.
|