Thread - Nostr Hypermedia

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.

GitHub

inline-java/jni at master · tweag/inline-java

Haskell/Java interop via inline Java code in Haskell modules. - tweag/inline-java

The app could be 99% Haskell if it wanted to.

↑ Parent

Replies (5)

Luke Dashjr luke_nostr@dashjr.org 1 month ago

Haskell isn't bootstrappable so bad for security

2 replies ↓

frphank 1 month ago

What's an example for something that's bootstrappable?

1 replies ↓

trev _@trevs.site 1 month ago

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

1 replies ↓

frphank 1 month ago

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".

1 replies ↓

trev _@trevs.site 1 month ago

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