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
- 43:29 Genovese: Portrait of a Crime Family (Documentary)by n99999999999Featured 187,702
- 1:25:08 Three Cool Things About D - The Case for the D Programing Languageby GoogleTechTalks 26,632 views
- 1:12:09 Practical Common Lispby GoogleTechTalks 67,498 views
- 56:41 Erlangby GoogleTechTalks 28,003 views
- 1:01:33 A Possible Future of Software Developmentby GoogleTechTalks 61,017 views
- 1:07:11 Brian Beckman: Don't fear the Monadby jasonofthel33t 10,130 views
- Functional programming 433 videos72
- 15:06 Philip Wadler and Erik Meijer: On Programming Language Theory and Practiceby schonfinkeled 3,842 views
- 56:31 Teaching Kids To Codeby GoogleTechTalks 72,099 views
- 28 videos Play all Course | Programming Methodologyby StanfordUniversity
- 10:15 Lisp, Coffee Script, Functional Programming, Object Oriented Programming, Pythonby Brandon Wirtz 3,555 views
- 58:16 A Preview of Alice 3.0, Introductory Programming in 3Dby GoogleTechTalks 58,005 views
- 48:37 CS 61A Lecture 1: Functional Programming Iby UCBerkeley 87,013 views
- 38:25 "The Clean Code Talks -- Inheritance, Polymorphism, & Testing"by GoogleTechTalks 125,973 views
- 1:13:53 Advanced Topics in Programming Languages: Java Puzzlers,...by GoogleTechTalks 201,636 views
- 15:00 (1/6) I. Data Driven Programming in Haskell Screencastby entirelysubjective 10,470 views
- 1:10:16 Getting C++ Threads Rightby GoogleTechTalks 98,441 views
- 56:36 So You Want To Be A Programming Rock Star?by GoogleTechTalks 55,661 views
- 1:07:58 Erik Meijer: Functional Programmingby jasonofthel33t 6,463 views
- 58:05 Parallel and Asynchronous Programming with F#by UWTV 5,321 views
- 30:40 Advanced Topics in Programming Languages Series:...by GoogleTechTalks 26,527 views
- 1:22:12 Introduction to Git with Scott Chacon of GitHubby MarakanaTechTV 95,936 views
- Loading more suggestions...