Froid: Functional Programming on Android

on YouTube ↗58m

" summary

Claim: a library called Froid lets Android apps be written in Frege and compiles Frege to Java, with a Gradle step that produces usual APKs. Tools actually used: Frege compiler, injected Java output, Gradle plugin, Android Studio; demos include GeoQuiz and OpenGL cube demos and a partial Criminal Intent port. Surprising numbers: first compile ~2 minutes then <30s after caching, APK ~1 MB baseline. Caveats: thunk-induced memory overhead and Java 8 support quirks.

AI-written summary · about

" chapters (10)

1. 0:00Froid for Android
2. 2:00Motivation for Froid on Android
3. 11:07What is Froid vs Haskell
4. 16:03Froid and Android OOP
5. 26:03Froid project setup
6. 34:23Live Froid app coding
7. 40:52Quiz app with Froid
8. 48:24Froid OpenGL demo
9. 50:31Froid roadmap
10. 51:45Q&A

" related talks

• 01h 23mAndroid and Groovy, a winning pair?Cédric Champeau · SpringOne2GX 2014
• 40mClojure on AndroidAlexander Yakushev · EuroClojure 2015
• 32mFunctional Programming on AndroidMax Cruz · Droids4Droids Colombia 2018
• 45mImpact of Framework Choice on your Application: A Reverse Engineering PerspectiveRuben Pieters · Android Worldwide July 2023
• 55mCompilers. Dalvik. ART. And everything in betweenYonatan Levin · Mobius 2018 Moscow
• 27mClojure and AndroidDaniel Solano Gómez · Clojure/conj 2011
• 40mBetter Android Development with Kotlin & GradleTy Smith · GOTO Copenhagen 2016
• 49mKotlin on Android (en)Svetlana Isakova · Droidcon Paris 2015