Older rss

Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

Interview with Stephanie Weirich on  Feb 05, 2016

Stephanie Weirich gives an introduction to the ideas behind dependent typing, dependent typing in Haskell, extending Haskell, and the status and future of type theory.


Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM

Interview with Adam Wick on  Jan 08, 2016

Adam Wick talks about software security, research into formal methods and randomisation as well as documentation and types to help write secure software, HalVM and other Unikernels, DRM.


Richard Minerich on Functional Programming, F#, Type Providers and Dynamic Languages

Interview with Richard Minerich on  Sep 04, 2013

Richard Minerich explains the reasons for choosing F#, how F# Type Providers help to integrate languages like R, how to bring Functional Programming to enterprise developers, and much more.


Erik Meijer on Monads

Interview with Erik Meijer on  Aug 09, 2013 2

Erik Meijer explains Monads, from the basics to the reasons for the IO Monad.


Duncan Coutts on Parallelism and Concurrency with Haskell, Distributed Programming with Cloud Haskell

Interview with Duncan Coutts on  Feb 21, 2013

Duncan Coutts explains the nature of Concurrency and Parallelism in Haskell, its threading and STM implementation, Erlang OTP's influence on CloudHaskell for distributed programming, Monads, and more.

Erik Meijer discusses programming language design, effects and some web programming problems

Interview with Erik Meijer on  Dec 21, 2012 3

Erik Meijer distinguishes between two kinds of programming languages, pure functional and all the others. He emphasizes some issues regarding mixing higher order programming with effects. Erik then talks about the nature of Javascript, and true problems we need to solve in web programming.

Rúnar Bjarnason on Scalaz, Lenses, Functional Programming and Scala

Interview with Rúnar Bjarnason on  Jul 18, 2012 1

Rúnar Bjarnason talks about the ideas behind and features in the popular scalaz library, programming concepts like (bi-directional) lenses, Scala Macros, and much more.

Scala, Functional Programming and Play 2.0

Interview with Sadek Drobi on  Jun 28, 2012 6

Sadek Drobi discusses functional programming sand Scala's multi paradigm approach at QCon London 2012. He also shares insights into the new Play 2.0 framework.

Philip Wadler on Functional Programming

Interview with Philip Wadler on  May 03, 2012 4

Philip Wadler talks about the role of functional programming and some of the reasons for its slow rise in the past and its influence today. Also: lambda calculus, monads, continuations and much more.

Simon Thompson and Huiquing Li on Refactoring in Functional Languages Like Haskell or Erlang

Interview with Simon Thompson and Huiquing Li on  Sep 16, 2011

Simon Thompson and Huiqing Li explain refactoring with functional languages and Wrangler (Erlang) and HaRe (Haskell). Also: how Wrangler's ad-hoc mode allows everyone to write custom refactorings.

Gregory Collins on High Performance Web Apps with Snap and Haskell

Interview with Gregory Collins on  Jun 17, 2011

Gregory Collins talks about Snap, a high performance web framework for Haskell, where it fits in the web framework spectrum, the Iteratee I/O model, Haskell performance and much more.

Debasish Ghosh on DSLs and Akka

Interview with Debasish Ghosh on  Apr 29, 2011

Debasish Gosh talks about Domain Specific Languages: how to build DSLs with Scala or XText, real world DSLs, parser combinators and monads. Also: how Akka brings actor-based programming to the JVM.

General Feedback
Marketing and all content copyright © 2006-2016 C4Media Inc. hosted at Contegix, the best ISP we've ever worked with.
Privacy policy

We notice you’re using an ad blocker

We understand why you use ad blockers. However to keep InfoQ free we need your support. InfoQ will not provide your data to third parties without individual opt-in consent. We only work with advertisers relevant to our readers. Please consider whitelisting us.