Tangible Functional Programming
Sign in to YouTube
Sign in to YouTube
Sign in to YouTube
Uploaded on Nov 20, 2007
Google Tech Talks
November, 7 2007
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestations of pure values, including functions. Programming happens by gestural composition of TVs. Our goal is to give end-users the ability to create parameterized, composable content without imposing the usual abstract and linguistic working style of programmers. We hope that such a system will put the essence of programming into the hands of many more people, and in particular people with artistic/visual creative style.
In realizing this vision, we develop algebras for visual presentation and for "deep" function application, where function and argument may both be nested within a structure of tuples, functions, etc. Composition gestures are translated into chains of combinators that act simultaneously on statically typed values and their visualizations.
Speaker: Conal Elliott
Most of my research is aimed at supporting the creation of interactive synthetic media content, including computer animation, human-computer interaction, images, 2D and 3D geometry, and programmable shaders. In all cases, I aim to preserve or improve on the flexibility and performance of mainstream programming approaches, while greatly simplifying the creation process.
Synthetic media programs are almost always implemented in sequential, imperative (often object-oriented) languages. My research explores use of declarative languages, resulting in much simpler and more reusable and composable programs. These languages are also more amenable to execution on parallel architectures such as modern graphics processors, because declarative languages abstract away from order of execution, removing the accidental sequentiality found in imperative programs. Even on sequential machines, declarative formulations have much simpler mathematical semantics, which facilitates automatic optimization. They also tend to be spatially and temporally continuous (resolution-independent), allowing them to adapt naturally to machines with different speeds and display resolutions.
After exploring explicit programming of synthetic media content for several years, I'm now also keenly interested in supporting artists. The goal of my new new research agenda is to give artists access to the expressive power of computers and programming languages, while retaining an artist's working style. I mean "artist" in a broad sense, in contrast to the verbal and sequential style of an engineer. (I don't mean to suggest that people fit neatly into these two categories.) My ideal audience includes graphic designers, musicians, and children -- really, the playful and curious in all of us.
This abstract has 2796
This abstract has 2820
Standard YouTube License
- 51:37 Google Python Class Day 1 Part 1by GoogleDevelopers Featured 954,139
- 1:01:33 A Possible Future of Software Developmentby GoogleTechTalks66,926 views
- 56:41 Erlangby GoogleTechTalks30,406 views
- 1:02:56 The Scala Experiment: Better Language Support for...by GoogleTechTalks21,255 views
- 1:12:09 Practical Common Lispby GoogleTechTalks71,081 views
- 1:07:11 Brian Beckman: Don't fear the Monadby jasonofthel33t36,080 views
- 1:07:58 Erik Meijer: Functional Programmingby jasonofthel33t15,563 views
- 41 videos Play all Computer Science 61A - Spring 2008by UCBerkeley
- 59:47 Reportage - Qui a peur de l'Islam ?by Collectif Contre l'Islamophobie en France345,198 views
- 1:01:00 C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 4 of 13by jasonofthel33t1,386 views
- 1:49 Multitouch Table show interactive menuby Dennis Lam51,858 views
- 1:37:40 Why Scala? ...by a hilarious Indian guyby phsorx phsorx60,109 views
- 15:06 Philip Wadler and Erik Meijer: On Programming Language Theory and Practiceby schonfinkeled4,850 views
- 1:04:24 Busy Java Developer's Guide to Scala: Thinkingby NewCircle Training7,365 views
- 52:10 Intro to Functional Programming in Scalaby Joe Barnes657 views
- 10:15 Lisp, Coffee Script, Functional Programming, Object Oriented Programming, Pythonby Brandon Wirtz6,004 views
- 6:13 Larry Wall: 5 Programming Languages Everyone Should Knowby Big Think330,132 views
- 1:36:50 Bjarne Stroustrup - The Essence of C++: With Examples in C++84, C++98, C++11, and C++14by Paulo Portela3,033 views
- 9:57 Erlang: The Movieby dawsdesign90,297 views
- 31:38 C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 1 of 13by jasonofthel33t4,562 views