Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sat 9 Sep 2017 14:25 - 14:50 at L2 - CUFP Talks 4

The use of pure functional languages like Haskell to create games and mobile applications is, still to this day, rare. The reasons for this are multiple. First, purity and laziness be seen as an obstacle in performance-sensitive applications. Second, the lack of libraries for multimedia, games and mobile programming increases the cost of projects that require such facilities. Third, the lack of well-supported, professional development tools to target mobile platforms makes the development process slow and increases potential for errors and, overall, the risk of failure.

In this talk we will present the tools and methodology that we use at Keera Studios to develop, compile and publish commercial Haskell apps and games for Android and iOS. Our setup is cross-platform and includes mobile and gaming libraries, template applications, and compilation/packaging/publishing tools. Our setup works out of the box, is well supported by continuous-integration services, and makes it possible to create, compile and publish new applications to online stores within minutes.

I like Game Programming, Multimedia and Functional Languages. I am 4th-year PhD student @ Nottingham.

My supervisors are Henrik Nilsson and Graham Hutton.

I am also the lead software developer at Keera Studios(tm), a game programming company that uses Functional Languages to deliver games for Android, iOS and desktop, and apps for mobile platforms.

Sat 9 Sep

Displayed time zone: Belfast change

14:00 - 14:50
CUFP Talks 4CUFP at L2
Formally Verifying a Smart-Contract Language Implementation with Isabelle
Simon Meier Digital Asset
Haskell games and apps for iOS and Android
Ivan Perez University of Nottingham, UK