Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language : Software Engineering Radio

Possibly related…

  1. How immutability, functional programming, databases and reactivity change front-end

    Nikita Prokopov

    Even though I believe programming UI can be made simple, right now, front-end is hard. We’re at the very beginning of our path to the future web: simple, error-prone, pleasant to use. In this talk, we’ll see how practices we have today in back-end programming, such as immutability, use of database engines, query languages and functional programming, can help us build JavaScript UIs. Examples include DataScript, Elm, Om, ClojureScript, Relay and more

    For the past ten years Nikita Prokopov has been building web interfaces, backends and distributed systems in Clojure, Erlang, Python, Java.

    Original video: https://www.youtube.com/watch?v=5DyQwMQbWvs
    Downloaded by http://huffduff-video.snarfed.org/

    —Huffduffed by bhagany

  2. Talk: Functional Programming You Already Know - Kevlin Henney (Curbralan) - Codemotion Rome 2015

    Functional Programming You Already Know

    From JVM to .NET languages, from minor coding idioms to system-level architectures, functional programming is enjoying a long overdue surge in interest. Functional programming is certainly not a new idea and, although not apparently as mainstream as object-oriented and procedural programming, many of its concepts are also more familiar than many programmers believe. This talk examines functional and declarative programming styles from the point of view of coding patterns, little languages and programming techniques already familiar to many programmers.

    Original video: https://www.youtube.com/watch?v=lNKXTlCOGEc
    Downloaded by http://huffduff-video.snarfed.org/ on Thu, 13 Jul 2017 22:48:40 GMT Available for 30 days after download

    —Huffduffed by jrsinclair

  3. Erik Meijer: Functional Programming

    Cross posted from http://channel9.msdn.com/Shows/Going+Deep/Erik-Meijer-Functional-Programming.

    Erik Meijer discusses functional programming languages, academic versus real-world application of functional programming languages and himself.

    Original video: https://www.youtube.com/watch?v=z0N1aZ6SnBk
    Downloaded by http://huffduff-video.snarfed.org/ on Thu, 13 Jul 2017 22:52:13 GMT Available for 30 days after download


    Tagged with erik meijer

    —Huffduffed by jrsinclair

  4. Basics of functional Programming by Siddharth Kulkarni

    You must have heard people talk about Functional programming whilst you nod apprehensively, and how cool people do functional programming. You must have heard people talk about functional purity and imperative blasphemy. But what exactly does functional programming entail? Why is it making a comeback? This talk is aimed at providing an objective and practical view of what FP can and cannot do, and how it’s nothing to be scared of, what languages support functional style and how it can help alleviate some common programming problems.

    Original video: https://www.youtube.com/watch?v=iSs3LdUZziU&feature=share
    Downloaded by http://huffduff-video.snarfed.org/

    —Huffduffed by idahogray

  5. Caml Trading

    Jane Street Capital is a proprietary trading company that has shifted from developing software in mainstream programming languages to developing software almost entirely in OCaml, a statically typed functional programming language that has only modest industrial use. The scope of the enterprise is small but growing: Jane Street now has over 30 OCaml programmers that have collectively written hundreds of thousands of lines of OCaml code. OCaml is used for building everything from trading systems to research infrastructure to user interfaces to systems administration tools. This talk will discuss the motivations behind Jane Street’s adoption of OCaml, and why we think that statically typed functional programming languages are a good fit for the world of trading and finance.

    Original video: https://www.youtube.com/watch?v=hKcOkWzj0_s
    Downloaded by http://huffduff-video.snarfed.org/ on Wed Aug 19 13:44:26 2020 Available for 30 days after download

    —Huffduffed by cemerick

  6. “Systems programming as a swiss army knife” by Julia Evans

    You might think of the Linux kernel as something that only kernel developers need to know about. Not so! It turns out that understanding some basics about kernels and systems programming makes you a better developer, and you can use this knowledge when debugging your normal everyday programs.

    Everything in this talk applies to every program, in every programming language. What could be better?

    Original video: https://www.youtube.com/watch?v=HfD9IMZ9rKY
    Downloaded by http://huffduff-video.snarfed.org/ on Tue, 06 Dec 2016 00:46:34 GMT Available for 30 days after download

    —Huffduffed by mstine

  7. LambdaConf 2015 - The Next Great Functional Programming Language John A De Goes

    John has no clue what the next great functional programming language will be like, but he’s more than happy to hop up on stage and rant against type classes, nominative typing, data, modules, pattern matching, recursion, and, well, basically everything else you associate with functional programming! John will argue that to make radical progress in cheaply building correct software, we need to take one step backward and two steps forward, embracing dependent-typing, total functions, Turing-complete compilers, host languages, and automated proof search. Attend this talk to question your assumptions about functional programming… or just to heckle! Either way, all are welcome.

    Help us caption & translate this video!


    Original video: https://www.youtube.com/watch?v=gwficc1dpak
    Downloaded by http://huffduff-video.snarfed.org/

    —Huffduffed by bhagany

  8. DPCRadio: Advanced Git

    Besides OpenSource projects like the Linux Kernel, OpenJDK or Perl, companies increasingly use distributed version control systems like Git and Mercurial. Their unique features makes new and modern work-flows possible, which are particularly useful in agil development.

    The talk gives a introduction to the advanced features of Git and the fundamental concepts of modern distributed version control systems.

    —Huffduffed by j4mie

  9. The Joy of Functional Programming Keynote by Venkat Subramaniam

    It’s been around for a long time, but everyone’s talking about it all of a sudden. But why and why now? We’ve been

    programming in languages like Java for a while, quite well. Now we’re asked to change and the languages themselves

    are changing towards this style of programming. In this keynote, a passionate polyglot programmer and author of

    "Functional Programming in Java: Harnessing the Power of Java 8 Lambda Expressions" will share the reasons

    we need to make the paradigm shift and the pure joy—the benefits—we will reap from it.

    Conference: http://functionalconf.com/

    Details: http://confengine.com/functional-conf-2014/proposal/420/keynote-the-joy-of-functional-programming

    Original video: https://www.youtube.com/watch?v=OhRhvaM-lQ4
    Downloaded by http://huffduff-video.snarfed.org/ on Tue, 24 Jan 2017 22:50:28 GMT Available for 30 days after download

    —Huffduffed by jrsinclair

  10. Lambda Days 2015 - Rúnar Bjarnason - An invitation to functional programming

    Rúnar Bjarnason Functional programming enthusiast, Scalaz contributor

    Rúnar is an independent software developer, co-author of “Functional Programming in Scala” (Manning, 2013), and a functional programming extremist. He’s a software engineer in Boston, an author of a book, Functional Programming in Scala, and a speaker on topics in functional programming.

    Rúnar received his education in computer programming and electrical engineering at the Reykjavík Technical College in Iceland. In the intervening decades he has done diverse programming work, including antivirus research, software for agriculture and animal breeding, real estate, IT, finance, and genomics. Rúnar has worked with many programming languages including Pascal, C, Java, Haskell, Scala, and Ruby, and made some of his own.

    Keynote: An invitation to functional programming

    In this introductory-level talk, we will look at what functional programming really is, what its actual benefits are, and ultimately why that matters.

    Original video: https://www.youtube.com/watch?v=aa7jh1J4xNs
    Downloaded by http://huffduff-video.snarfed.org/ on Thu, 13 Jul 2017 10:44:30 GMT Available for 30 days after download

    —Huffduffed by jrsinclair