InfoQ Homepage Language Design Content on InfoQ
-
Towards Specifications of Robustness - the Things That Programs do _not_ do
Sophia Drossopoulou discusses holistic specifications", an extension of traditional program specifications that support the expression of robustness properties through spatial and temporal features.
/presentations/holistic-specifications-robustness/en/mediumimage/Sobig-1555889018045.JPG)
-
Go - A Key Language in Enterprise Application Development?
Aarti Parikh goes over the Go language design and talks about why Go matters in the age of multicores and cloud-native computing.
/presentations/go-lang-design/en/mediumimage/Aarti-Parik-m-1554207682138.jpg)
-
Three Things I Wish I Knew When I Started Designing Languages
Peter Alvaro talks about the reasons one should engage in language design and why many of us would (or should) do something so perverse as to design a language that no one will ever use.
/presentations/language-design-process/en/mediumimage/peter-alvaro-qconsanfrancisco-m-1553255008598.JPG)
-
Towards Language Support for Distributed Systems
Heather Miller talks about research in programming languages: building up richer computations making use of CRDTs and implemented as compositions of serverless functions.
/presentations/research-languages-crdt-serverless-functions/en/mediumimage/Heabig-1552871501546.JPG)
-
A Peek into Elm Architecture
Jayaram Sankaranarayanan discusses the basics of functional programming principles, using Elm constructs, the architecture and how Elm enables reliable refactoring.
/presentations/elm-architecture/en/mediumimage/Jaybig-1520818034521.JPG)
-
Welcome inside the Head of Larry Wall
Larry Wall is interviewed by Joe Armstrong to find out what goes on inside the head of a programming language designer. Is there a method to use when designing a new language?
/presentations/language-design-perl/en/mediumimage/Doibig-1506472242840.jpg)
-
Pony: Co-designing a Type-system and a Runtime
Sylvan Clebsch talks about Pony, an actor-model, capabilities-secure, native programming language.
/presentations/pony-type-system/en/mediumimage/Sylbig.JPG)
-
Faster Ruby, JS and Other Languages Using Graal and Truffle
Chris Seaton introduces Graal, Oracle Labs' new JIT compiler written in Java, enabling new research into optimizations, and Truffle, a framework for implementing languages that uses Graal.
/presentations/graal-trufle/en/mediumimage/Chrisbig.JPG)
-
Phoenix and Elm – Making the Web Functional
Chris McCord and Evan Czaplicki keynote on the birth, development and benefits of using their respective tools they created for web development: Phoenix and Elm.
/presentations/phoenix-elm/en/mediumimage/Chrisbig.JPG)
-
Designing with Passion
Panelists answer questions on the languages they contributed to: How do you organize thoughts and code? What unique advances in usability did your language make? Why do your users love to code in it?
/presentations/panel-erlang-haskell-elm-ruby/en/mediumimage/Panbig.jpg)
-
Rust: Systems Programming for Everyone
Felix Klock describes the core concepts of the Rust language (ownership, borrowing, and lifetimes), as well as the tools beyond the compiler for open source component distribution (cargo, crates.io).
/presentations/rust/en/mediumimage/Febig.JPG)
-
Using Pony for Fintech
Sylvan Clebsch talks about using Pony for fintech to build high-performance tools. Pony is a new actor-model statically typed language, compiled AOT, with a GC and a data-race free type system.
/presentations/pony/en/mediumimage/Sybig.JPG)