Thesis Topic Details

Topic ID:
1452
Title:
Interoperability: Using Cocoa and Objective-C from Haskell
Supervisor:
Manuel Chakravarty
Research Area:
Programming Languages, Compiler, Software Engineering
Associated Staff
Assessor:
Daniel Woo
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
--
Description:

The aim of this project is to develop an extension to Haskell's Foreign Function Interface (FFI) to support Objective-C 2.0 and to gain access to core Mac technology, such as Cocoa.



Functional languages, such as Haskell, have recently received growing industrial interest. This is due to improved productivity and easier reasoning about the behaviour of programs. Moreover, the recent focus on parallel programming, trigged by multi-core and many-core processors, boosted the visibility of functional languages due to their controlled use of side effects.



Objective-C 2.0 is the latest version of the language and the main development language supported by Apple for Mac OS X. Hence, access to Objective-C 2.0 libraries from Haskell is very valuable for software development with Haskell for Mac OS.



Challenges include arranging for cooperation between the separate storage management systems included in the runtimes of Haskell and Objective-C 2.0 as well as integrating the type and overloading system of Objective-C in Haskell for convenient library access.

Comments:

Definition of Haskell's FFI:http://www.cse.unsw.edu.au/~chak/haskell/ffi/


First sketch of an Objective-C extension of the FFI: http://hackage.haskell.org/trac/ghc/wiki/ObjectiveC



Previous experience with Objective-C would be a bonus.

Past Student Reports
  Andre Alvin MARQUES LEE in s1, 2013
Interoperability: Using Cocoa and Objective-C from Haskell
  Maxwell SWADLING in s2, 2013
Interoperability: Using Cocoa and Objective-C from Haskell
 

Download report from the CSE Thesis Report Library

NOTE: only current CSE students can login to view and select reports to download.