filmov
tv
PolyConf 15: Racket & Typed Racket: the power of extensibility / Sam Tobin-Hochstadt
Показать описание
Typed Racket is a gradual type system for Racket, built entirely as a library. In this talk, I'll present why I wanted to build a gradual type system for Racket, and also how Racket made this possible. The story will cover macros, type checkers, compilers, and runtime systems, and demonstrate why we call Racket a "programmable programming language".
PolyConf 15: Racket & Typed Racket: the power of extensibility / Sam Tobin-Hochstadt
PolyConf 15: The Power of Immutability / Adam Byrtek
PolyConf 15: Data exchange formats by Przemyslaw Kaminski
PolyConf 15: Erlang in multi-lingual systems / Robert Virding
PolyConf 15: Post FRP Frontend Programming / Bodil Stokke
LambdaConf 2015 - Introduction to Typed Racket Mark Farrell
PolyConf 15: Distributed systems the easy way with Clojure and Mesos / Pierre-Yves Ritschard
PolyConf 15 Beyond Ruby easy ways to go polyglot Wojciech Ogrodowczyk
PolyConf 15: Contracts as Types / Jessica Kerr
PolyConf 15: Functional Ember / Paul Chavard FIXED
PolyConf 15: Contracts as Types / Jessica Kerr FIXED
Keynote: From Scheme to Typed Racket
PolyConf 15: Polyglot in High Performance Computing / Christine Corbett Moran
(sixth RacketCon): Stephen Chang and Alex Knauth -- Type Systems as Macros
PolyConf 15: The Promise of Relational Programming / William Byrd
PolyConf 15: Functional Ember / Paul Chavard
(fourth RacketCon): Neil Toronto — Purely Functional 3D in Typed Racket
(sixth RacketCon): Geoffrey Knauth -- Racket is my Mjolnir
(fifth RacketCon): Marc Burns — Rocking with Racket
(fifth RacketCon): Matthias Felleisen — The Racket Manifesto
PolyConf 15: Rocking the Time Series boat with C, Haskell and ClojureScript / Alex Petrov
(fifth RacketCon): Samuel Rebelsky — Scripting GIMP with Racket
(ninth RacketCon): Eric Griffis – Algebraic Racket in Action
EASY Life Hack to Fix Your Charger #Shorts
Комментарии