Login to reply
Replies (7)
interesting, I thought it was Kotlin only
Kotlin is the other 20%. It doesn't have to be. You can instrument the JVM from Haskell via JNI for all the JNI stuff like the UI, only needing a few shims.
The app could be 99% Haskell if it wanted to.
GitHub
inline-java/jni at master · tweag/inline-java
Haskell/Java interop via inline Java code in Haskell modules. - tweag/inline-java
Haskell isn't bootstrappable so bad for security
What's an example for something that's bootstrappable?
A program that doesn't rely on binaries to be built, i.e can be built from source all the way down, versus requiring a compiler binary somewhere along the way. Look at Core's guix builds
I don't know guix but if it's source all the way down, what builds the source. At one point you'd be poking machine instructions into memory I guess if that's what you call "source".
Well, the point is that it's a small enough compiler that it can be audited and known to not have been tampered with. Look up GNU Mes and bootstrappable.org