I’ve been working on a new backend for PS to enable writing PureScript programs for native android using kotlin: https://github.com/csicar/pskt
The backend is forked from purescript-native and uses the CoreFn interface.
At this point, the transpiler should be functionally complete, but still lacks TCO and ~MagicDo~. Update: magicdo ist now implemented.
FFI-files for standard PureScript libraries are available here: https://github.com/csicar/pskt-foreigns
A basic example of an android app can be found here: https://github.com/csicar/pskt-android-example