ccfontes/faas-idris2

An OpenFaaS template for writing Functions in Idris 2.

Passionate about

Stats

faas-idris2's Issues

User to pass codegen only in one place

Problem: For now, the user needs to configure codegen both in stack.yml and pack.toml.

Solution: Hack an idris2-pack fork to allow passing --cg <codegen> to build command

COPY racket dist from docker img is insufficient

Error: huh, erased from the terminal buffer, but it was spurious as such: build/exec/index not found.

Offending code:

FROM racket/racket:8.8 AS racket

FROM idris2-chez AS idris2-racket
ONBUILD COPY --from=racket /usr/bin/raco /usr/bin/raco
ONBUILD COPY --from=racket /usr/bin/racket /usr/bin/racket
ONBUILD COPY --from=racket /usr/share/racket /usr/share/racket
ONBUILD COPY --from=racket /usr/lib/racket /usr/lib/racket

What works:

FROM racket/racket:8.8 AS racket

FROM idris2-chez AS idris2-racket
ONBUILD RUN apt-get update && apt-get install --yes racket

Now we know this will get us into trouble in prod right? So, let's try to find out what's missing.

Support other Idris 2 code generators

Support more Idris 2 code generators. For starters:

• JVM: https://github.com/mmhelloworld/idris-jvm
• Python: https://github.com/madman-bob/idris2-python

Support JVM codegen

Codegen: https://github.com/mmhelloworld/idris-jvm

Pack support pending issue: github.com/stefan-hoeck/idris2-pack#146

Run Function as non-root user

Error when runnng as non-root user:

Function invoke time error:
   mkdir: cannot create directory '/home/app/.pack/.tmp0': Permission denied
   /home/app/.pack/bin/idris2: 7: [: missing ]
 FIXME: fix errors above for this user:

Dockerfile related code:

 RUN groupadd app && useradd -g app app
 USER app:app

Support Racket codegen

CI tests should use faas template from branch being tested

Add hello world benchmarks

Conditionally install code generator tools depending on selected pack codegen

https://stackoverflow.com/questions/43654656/dockerfile-if-else-condition-with-external-arguments

From the link above see this answer:

Dockerfile if else condition with external arguments

Support racket libraries

Support chez libraries

Add Node Function tests