Lambda Jam 2015 - Robby Findler - Racket: A Programming-Language Programming Language
Racket is the best programming language that embraces the premise that there is no best programming language. In other words, Racket is designed to support the creation of programming languages which can then be used to build programs. Using Racket, we have built program languages ranging from large, general-purpose languages matching particular programming paradigms to small, specialized programming languages designed for just a single file in some larger program.
In this talk, I will bring across how it feels to program in such a language, discuss some of the technical support Racket has to make such programming practical, and show how Racket’s standard libraries have embraced this perspective, enabling us to include lots of batteries.
Robby is an associate professor of computer science at Northwestern University and received his PhD from Rice University in 2002. He is the author or two textbooks, one on introductory programming and one on operational semantics. Robby is one of the core developers of Racket and has helped shape the design the language since its inception in 1994.
For more on Lambda Jam, visit http://www.lambdajam.com
Related Talks
Microservices at Spotify
This presentation was recorded at GOTO Berlin 2015
http://gotober.com
Kevin Goldsmith - Vice President, Engineering at Spotify
ABSTRACT
The software industry used to be all about building monoliths: monolithic applications and services, with bing-bang product releasees. All that has now changed [...]
Download slides and read the full abstract here:
http://gotocon.com/berlin-2015/presentation/Microservices%20@%20Spotify
https://twitter.com/gotober
https://www.facebook.com/GOTOConference
http://gotocon.com ...Functional Programming; What? Why? When?
Why is functional programming becoming such a hot topic? Just what _is_ functional programming anyway? And when am I going to have to know about it? In this talk Uncle Bob will walk you through the rationale that is driving the current push towards functional programming. He'll also introduce you ...The Functional Final Frontier
The Model-View-Controller (MVC) approach to user interfaces was first proposed by Trygve Reenskaug in a 1979 Xerox PARC note. As Object Oriented methodologies gained popularity, MVC too gained traction as a natural and logical way to construct user interfaces despite obvious shortcomings. Even though OO researchers moved forward with alternative ...Functional Reactive Programming with RxJava
RxJava is a library for composing asynchronous and event-based programs by using observable sequences for the Java VM. It supports Java 6+, Clojure, Scala, Groovy, JRuby, and Java 8 lambdas. In this session, learn how the Netflix API uses RxJava to implement highly concurrent Web services against asynchronous datasources without ...Lenses, Folds, and Traversals
Slides: http://comonad.com/haskell/Lenses-Folds-and-Traversals-NYC.pdf
This was a talk I gave at the second New York Haskell User Group Meeting (http://www.meetup.com/NY-Haskell/) on the new lens library, which provides a highly composable toolbox for accessing and modifying multiple parts of data structures.
Starting with building blocks such as fmap and (.), we build up combinators suitable ...Sam Tobin-Hochstadt on Composable and Compilable Macros
Meetup: http://www.meetup.com/papers-we-love/events/220021234/
Paper: https://www.cs.utah.edu/plt/publications/macromod.pdf
Slides: http://bit.ly/1KNwpjC
Audio: https://www.mixcloud.com/paperswelove/sam-tobin-hochstadt-on-composable-and-compilable-macros/
--------------------------------------------------------------------------------------------------------------------------------------------------
Sponsored by Two Sigma (@twosigma), The Ladders (@TheLaddersDev), and LispNYC (@lispnyc)
--------------------------------------------------------------------------------------------------------------------------------------------------
Description
---------------
"Composable and Compilable Macros" introduces the Racket module system, which addresses the following problem: When you have macros that run programs at compile-time, how does this interact with separate compilation and ahead-of-time compilation. The paper introduces ...