InfoQ Homepage Language Design Content on InfoQ
-
Not Just Memory Safety: How Rust Helps Maintain Efficient Software
Pietro Albini discusses how Rust's type system can be used to ensure correctness and ease refactorings, leveraging procedural macros to reduce code duplication, introducing parallelism, and tooling.
/presentations/rust-efficient-software/en/mediumimage/PietroAlbini-medium-1720791618626.jpg)
-
From Runtime Efficiency to Carbon Efficiency
Michal Dorko discusses Goldman Sachs’s proprietary language, Slang, a core technology responsible for booking trades, quoting prices and analysing risk, among other use cases.
/presentations/slang/en/mediumimage/MichalDorko-medium-1706604056808.jpg)
-
PRQL: a Simple, Powerful, Pipelined SQL Replacement
Aljaž Mur Eržen discusses PRQL, a language that can be compiled to most SQL dialects, which makes it portable and reusable, important factors of OLAP.
/presentations/PRQL/en/mediumimage/AljažMurEržen-medium-1706775748156.jpg)
-
Virtual Threads for Lightweight Concurrency and Other JVM Enhancements
Ron Pressler presents how and why Java abstracted its existing thread construct to provide an alternative user-mode implementation of threads as opposed to offering a new concurrency construct.
/presentations/virtual-threads-lightweight-concurrency/en/mediumimage/RonPressler-medium-1702978478106.jpg)
-
Languages of Cloud Native
Justin Cormack looks back at the early history, talking to Solomon Hykes about the development of Docker in Go, and looks at more recent trends in Cloud Native projects.
/presentations/languages-cloud-native/en/mediumimage/Justin Cormack-m-1659337904196.jpg)
-
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)