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.
https://github.com/tweag/inline-java/tree/master/jni
The app could be 99% Haskell if it wanted to.
deleted account
npub1g7…u8yd9
2026-03-26 19:32:06 UTC
in reply to nevent1q…c7ky
Author Public Key
npub1g7lqk25fl24xd0zh7hr8jgp5smdy2eszjh9nmv7z7w85h6xcs9hq4u8yd9Seen on
wss://nostr.momPublished at
2026-03-26 19:32:06 UTCEvent JSON
{
"id": "b020bfeba2d8cccc5369d551fd84a7648abb8545ff5abb46001a481600bebd42",
"pubkey": "47be0b2a89faaa66bc57f5c679203486da45660295cb3db3c2f38f4be8d8816e",
"created_at": 1774553526,
"kind": 1,
"tags": [
[
"alt",
"A short note: Kotlin is the other 20%. It doesn't have to be. Yo..."
],
[
"e",
"400100f7f5f19f15208245fa95a657cf27f6af09935eddb8c688c59fee4c7f5c",
"wss://nostr.mom/",
"root",
"b98ded4ceaea20790dbcb3c31400692009d34c7f9927c286835a99b7481a5c22"
],
[
"e",
"79e20a93fe6a21fc9f33ad2bd78a5975a6fc67e25a7a0a10d30663f5f9a27656",
"wss://relay.snort.social/",
"",
"47be0b2a89faaa66bc57f5c679203486da45660295cb3db3c2f38f4be8d8816e"
],
[
"e",
"bd8390f89bb02172dd5eff0b8f8ce54764beee36fbe7f44f03915c2f623bb50e",
"wss://relay.damus.io/",
"reply",
"56e7c32fc9bde6f06e91760cc33a8facd2f21e9d468d153635a655b30a4c0882"
],
[
"p",
"47be0b2a89faaa66bc57f5c679203486da45660295cb3db3c2f38f4be8d8816e",
"wss://relay.nostr.band/"
],
[
"p",
"b98ded4ceaea20790dbcb3c31400692009d34c7f9927c286835a99b7481a5c22",
"wss://nostr.mom/"
],
[
"p",
"c998a5739f04f7fff202c54962aa5782b34ecb10d6f915bdfdd7582963bf9171",
"wss://search.nos.today/"
],
[
"p",
"56e7c32fc9bde6f06e91760cc33a8facd2f21e9d468d153635a655b30a4c0882",
"wss://nostr.lol/"
],
[
"r",
"https://github.com/tweag/inline-java/tree/master/jni"
]
],
"content": "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.\n\nhttps://github.com/tweag/inline-java/tree/master/jni\n\nThe app could be 99% Haskell if it wanted to.",
"sig": "3c1d2518af2b97a9e6b987304263039592b05d7fc6e01f96f0fc672248073eee1b11a2e74b030953c61f6e6b44213f0aba6902216e813dd28cf26873b1bc5f3f"
}