Skip to content
0:00 / 0:00

#frege#android#froid

Michael Chavinda - Froid: Functional Programming on Android - λC 2017

LambdaConf

8.8K subscribers • 19 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Michael Chavinda
  • May be out of date. The tools, versions or practices it shows have likely moved on.

Intermediate. Assumes working knowledge.

908 views9 years ago2 recommendations

Programming languagesMobile developmentFunctional programmingAndroid and Jetpack Compose

Michael Chavinda introduces Froid, a library for building Android applications in the Frege programming language, and discusses Java interoperability.

Description: Froid is a library for building Android applications in Frege. The talk will cover both the design of the library and some comprehensive example applications. The session will also cover the Frege programming language - its differences from Haskell and interfacing with Java. Slides: None Provided

Why it's here

2 people recommend this

What people say. Recommended as a useful resource for developers interested in using the Frege programming language on Android.

u/ChavXOin r/haskell • Recommends

Froid: functional programming in Android LambdaConf talk

u/andrevdm_redditin r/haskell • Recommends

On “Monthly Hask Anything (April 2018)”

If you decide to go the Frege route, then this may be useful: link to this video

u/gelisamin r/haskell • Mentions

On “LambdaConf 2017 recorded sessions - 156 videos”

According to the LambdaConf program, the Haskell ones are: 1. Adjunctions in Everyday Life * Building a Blogging System with Haskell and Yesod * Corecursion, Codata, and Just a Little Combinatorial Game Theory * Deforestation and Program Fusion * Enhancing your Haskell with Dependently Typed Programming * Froid: Functional Programming on Android * Functional Infrastructure With Nix * Graphics Programming with LambdaCube 3D * Greek Classics: Lambda Calculus For Beginners * Higher order Abstractions * How to Program like a Five Year Old in Haskell * I Command You to be Free! * Less is More with MonadReader * Let's Lens * Mighty Morphin Data Types * [Neural Networ…