Manuel Chakravarty
Lambda ScientistTweag I/O & IOHK
Manuel M T Chakravarty works with Tweag I/O as a functional programming evangelist, architects blockchain languages at IOHK, and develops the interactive development environment Haskell for Mac — one of the first Swift apps on the Mac App Store. His interests span from functional programming, novel compiler technology & programming language theory over high-performance & distributed computing to blockchain technology.
He used to be an associate professor at UNSW Sydney and contributed to both the design and implementation of the Haskell programming language as well as several Haskell tools and open source libraries, including multiple systems for data parallel programming of multicore CPUs and GPUs. Over the last few years, he focused on making functional programming more broadly accessible and on exploring its role in app development in Swift. Currently, he is busy researching and developing a novel approach to blockchain contract development with IOHK's Plutus Team. Most importantly, he believes in the fruitful combination of theory and practice.
Talks I've Given
-
Welcome to FP Introductory Workshop
Featuring Manuel Chakravarty
Functional programming has become inevitable. New programming languages draw inspiration from the functional paradigm; old programming languages retrofit support for functional programming; and development teams change their coding style to adopt the best functional programming idioms. We are...
language -
Plutus — Haskell for Blockchain Contract Development
Featuring Manuel Chakravarty
With the proliferation of blockchain designs, we see a proliferation of proposals for languages and systems to script the rules governing transactions on these blockchains, generally known as smart contract languages. Despite the name, these languages are usually fairly conventional programming...
language -
Welcome to FP Introductory Workshop
Featuring Manuel Chakravarty
Functional programming has become inevitable. New programming languages draw inspiration from the functional paradigm; old programming languages retrofit support for functional programming; and development teams change their coding style to adopt the best functional programming idioms. We are...
language -
Haskell SpriteKit — A Purely Functional API for a Stateful Animation System & Physics Engine
Featuring Manuel Chakravarty
Graphics, animation, and games programming in Haskell faces a dilemma. We can either use existing frameworks with their highly imperative APIs (such as OpenGL, Cocos2D, or SpriteKit) or we waste a lot of energy trying to re-engineer those rather complex systems from scratch. Or, maybe, we can...
concept -
A Type is Worth a Thousand Tests
Featuring Manuel Chakravarty
One of the biggest changes in the transition from Objective-C to Swift is the new type system. This change is at the heart of Swift’s language design, from optionals over value types to constrained generics, and to truly understand the language, a thorough understanding of its type system...
mobile -
Functional Programming in a Stateful World
Featuring Manuel Chakravarty
Today, functional programming is mostly used in the development of server-side software and command line applications. This is changing with Swift, a language with strong support for functional programming that is pitched as the successor of Objective-C for desktop and mobile applications....
technique -
Foreign Inline Code in Haskell
Featuring Manuel Chakravarty
Template Haskell is a meta programming framework for Haskell implemented by the Glasgow Haskell Compiler (GHC), which is widely used as a template meta-programming system for Haskell, to define macros, code generators, or even code transformation engines. Subsequent support for the quasiquoting...
practice -
Do Extraterrestrials Use Functional Programming?
Featuring Manuel Chakravarty
Is functional programming just the result of clever language design? Are there deeper reasons for the effectiveness of the paradigm? Why has functional programming not caught on earlier?
In this talk, we will have a look at the roots of functional programming, at their contribution to the success...
technique