InfoQ Homepage Language Design Content on InfoQ
-
Probabilistic Programming for Software Engineers
Michael Tingley provides a preview of how Facebook is advancing probabilistic programming, as well as some of the big problems they used it to solve.
/presentations/facebook-ppl/en/mediumimage/Micbig-1589359842416.JPG)
-
Records and Sealed Types - Coming Soon to a JVM Near You!
Ben Evans talks about the recent changes in the Java language (Records, Sealed Types) and shows how big ideas in language design sometimes start from surprisingly small implementation details.
/presentations/java-language-records-sealed-types/en/mediumimage/Benbig-1585600444538.JPG)
-
Your Program as a Transpiler: Applying Compiler Design to Everyday Programming
Edoardo Vacchi discusses opportunities to apply programming language development techniques learned working with Drools and jBPM to a broader context.
/presentations/transpiler-compiler-design/en/mediumimage/Edbig-1570103869670.jpg)
-
Panel: the Future of Languages
In this panel, these programming languages experts try to find the places where we could probably past each other to try to find common ground.
/presentations/panel-future-languages/en/mediumimage/panel-m-1559135848729.jpg)
-
Why Continuations are Coming to Java
Ron Pressler discusses and compares the various techniques of dealing with concurrency and IO in both pure functional and imperative programming languages.
/presentations/continuations-java/en/mediumimage/Ronbig-1560986947479.JPG)
-
How Rust Views Tradeoffs
Stephen Klabnik takes a look at some tradeoffs in the design of Rust, and how that makes it more suitable for some kinds of projects than others.
/presentations/rust-tradeoffs/en/mediumimage/Stephen-Klabnik-m-1561020364306.jpg)
-
When and How to Win with New Programming Languages
Noel Welsh talks about adopting new programming languages, and looks at the conditions when a language could and should be adopted in a commercial setting.
/presentations/adopt-new-programming-language/en/mediumimage/Noel-Welsh-m-1561022107787.jpg)
-
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)