Back

@JadeMasterMath Filling a temporary file from a string constant is a bit horrifying, but otherwise this gets my stamp of approval for combining a proper top level language with "haha python go brrr"

ps. since I also constantly bug Zanzi about unnecessary brackets in idris code: `IO Int` not `IO (Int)`

@julesh @JadeMasterMath I see - certified functional graphics in Haskell... and if you look under the hood of numpy/scipy you are likely to discover that it calls C (or Fortran!) functions, mostly

@julesh @JadeMasterMath why does it have to be a ton of work? one needs to build a good enough FFI build tool, something akin to pybind11 for Python FFI to C++ (and C).
https://pybind11.readthedocs.io/en/stable/

@dimpase @julesh Yes that still seems a lot harder than what I did. Have you seen how complicated the existing Idris FFIs are? I tried to get the python FFI to work for ages but it has bit rotted