Loves: programming languages! 🇬🇧🇦🇺👨💻
Brisbane, Australia
Joined January 2009
- Tweets5.2K
- Following675
- Followers1.4K
- Likes8.6K
How is Leptos so amazing youtu.be/K_TmEPAD9Ig. I don't know, but I'm going to find out!
Thanks to @BrianGoetz, Java is adopting type classes! It's becoming the best mainstream functional language!
✅ algebraic data types with exhaustive pattern matching
✅ Nullable types: JSpecify now, language feature later
✅ Haskell's type classes 🤯
youtu.be/Gz7Or9C0TpM
Steven Shaw retweeted
📢 The Kotlin 2.2.0 release is out! This version includes both new and stable language features, tooling updates, performance improvements for different platforms, and important fixes. Here are some additional highlights from this release:
✅ Language: New language features in preview, including context parameters. Several previously experimental features are now stable, such as guard conditions, non-local break and continue, and multi-dollar interpolation.
✅ Kotlin compiler: Unified management of compiler warnings.
✅ Kotlin/JVM: Changes to default method generation for interface functions.
✅ Kotlin/Native: LLVM 19 and new features for tracking and adjusting memory consumption.
✅ Kotlin/Wasm: Separated Wasm target and the ability to configure Binaryen per project.
✅ Kotlin/JS: Fix for the copy method generated for JsPlainObject interfaces.
✅ Gradle: Binary compatibility validation included in the Kotlin Gradle plugin.
✅ Standard library: Stable Base64 and HexFormat APIs.
Learn more: ➡️ kotl.in/2-2-0
Steven Shaw retweeted
It's official. LaTeX is dead to me. It's all about Typst now. buttondown.com/functionalpro… if you want to know more.
Steven Shaw retweeted
Welcome to the #MyRustStory blog series 👀
In 2025, Rust will celebrate its 10th anniversary. This is a great chance to focus on this programming language and its community. In this series, we will share insights from leaders in the #Rustlang community.
softwaremill.com/michael-sno…
If you want to meet them in person, come to @rustikonconf, the first Rust conference in Poland!
Our first guest is @snoyberg 👏
Steven Shaw retweeted
I'm happy to report that a preprint of my book is now available on Artima:
artima.com/shop/modern_mathe…
Steven Shaw retweeted
A research project about BEAM languages, focusing on adoption, diversity, and challenges are looking for people to complete this survey and share it with your network. It closes on September 29th: exploring-beam-community.fly…
Steven Shaw retweeted
Imagine Python, but with an opt-in type system, native parallelism and access to CPU/GPU-level optimisations - that’s the latest language from the creator of Swift.
It’s called Mojo, and it’s our topic of the week on Developer Voices:
youtu.be/JRcXUuQYR90
Steven Shaw retweeted
Interested in learning about functors, applicatives, monads and equational reasoning in Haskell? The full set of 15 videos from my advanced course based on the book "Programming in Haskell" is now freely available on YouTube. tinyurl.com/haskell-notts2
Steven Shaw retweeted
Interested in a PhD studentship in the Functional Programming Lab in Nottingham? We are currently seeking applications for up to 10 positions. Please share! cs.nott.ac.uk/~pszgmh/10-phd…
Steven Shaw retweeted
Property tests are one of my favourite techniques for doing a lot of QA work with a teeny-tiny bit of code. So much so that I felt compelled to film a demo. 👨💻🔍
(I'm using #PureScript & #Neovim here, but the technique works in any modern stack.)
📺 youtube.com/watch?v=4bpc8NpN…
Steven Shaw retweeted
I‘ve been participating on langdev.stackexchange.com/ for the past few days, and it’s been a lot of fun, but the community is badly in need of more people with real knowledge about PL/compilers. This is not a super high bar, and I suspect that many of my followers clear it.
Steven Shaw retweeted
1. Never stop learning.
2. See failure as a beginning.
3. Teach others what you know.
4. Assume nothing, question everything.
5. Analyze objectively.
6. Practice humility.
7. Respect constructive criticism.
8. Love what you do.
9. Give credit where it's due.
10. Take initiative.
Steven Shaw retweeted
Functional Programming in Lean is now done!
This is an online book on using Lean 4 as a programming language that doesn't assume you already know Haskell, Rust, Coq, Idris, or Agda.
Thank you to everyone who provided feedback along the way!
leanprover.github.io/functio…
Steven Shaw retweeted
There was a lot of interest in this, so I've published a blog post describing how I use Nix with Dockerfiles to build Docker images, including a runnable example. mitchellh.com/writing/nix-wi…
Steven Shaw retweeted
I've been working on the Buck2 build system with many others for nearly the last 4 years. Super happy it's now open source, alongside being used internally for a while.
Build faster with Buck2! Our extensible, performant, open source build system is designed to make your build experience better, including:
-Increased parallelism
-Integration with remote executing & virtual file systems
-Redesigned console output
See how: engineering.fb.com/2023/04/0…
Steven Shaw retweeted
2-3% faster compilation speeds across the board with GHC. @lexi_lambda and @monoidal_ explain how they did it in this blog post: tweag.io/blog/2022-12-22-mak….
