Added: 4 years ago
From: GoogleTechTalks
Views: 35,585
Sort by time | Sort by thread (beta)

Link to this comment:

Share to:
see all

All Comments (27)

Sign In or Sign Up now to post a comment!
  • Extensions and Applications of Higher-order Unification <= You are as smart as your best work ... Logic ... I'm right now on the first order logic ... It is a pleasure to meet somebody wiser than I ... even virtually :D

  • Isn't Blender's compositor like this? Except on a smaller domain and easier to use.

  • Brilliant!

    Scope for imagining imaging.

    Way semasiographic.

    Art Scott -- Artist, Semasiographologist

  • The first part is a good and clean summary about some key concepts of programming.

  • He doesn't work for Google, so this has nothing to do with management.

  • @grawful I think the whole point here was to divorce "function" from "form". Look at "type TV a = (Out a, a)". An arbitrary value of type "Out a" can be used to visualize the actual underlying value of type "a". The idea here would be that, since function and form are "loosely coupled" you could easily switch around the form without changing the underlying meaning, or function, of the tangible value. For example, a text input, a dial, or a slider bar could represent a number.

  • nice video

    check softwares like [they're all visual dataflow [~pipe] system] :

    - Alias Maya (now Autodesk Maya)

    - NothingReal Shake (now Apple Shake)

    - D2 Nuke

    and the most mesmerizing instanciation of this idea :

    - Sidefx Houdini (you can do almost anything you can think of with it .. it's math under your finger)

    beware , once you are used to this you'll be heavily frustrated by the current Os/Software world

  • I'm not a programmer, his lecture inspires me to learn Linux and programming.

    Good Ideas. Go for It.

  • You didn't get it, man

  • Comment removed

  • thats some straight forward awesomeness right there

  • Interesting ideal. But is it really possible I program but how do we get the rest of the population into programing via an interface? Would that not make it worse for programmers? It would side to the usable.. Oh well good talk.

  • nip2 is an example application that has function composition into pipelines for image processing.

  • I'm not sold on functional programming either, and I agree with gmvsea about the rift.

  • This was a surprisingly good lecture. Although I am still not sold on functional programming, I have to admit that the presenter's description of the rift between applications usability and code composibility was an epiphany for me. I am grateful.

    I think that at least the first part of this lecture should be required reading (viewing) for all software developers.

  • Being sold or not is not really important now is it? It either works for you or it doesn't. And in certain environments you just don't have a choice.

  • Thank you for fixing the sound. -Joe

Loading...
0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more