4831
Tyre – Typed regular expressions
I’m happy to announce the release of Tyre, a library for Typed Regular Expressions.
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 5,634 posts.
4832
4833
Translating a C++ parser to Haskell
nix-derivation 1.0 announcement post
4834
4835
4836
Introduction to Golang Preemption Mechanisms
A short explanation of what is preemption and how it works
4837
Non-Lexical Lifetimes Based on Liveness in Rust
In my previous post I outlined several cases that we would like to improve with Rust’s current borrow checker. This post discusses one possible scheme for solving those. The heart of the post is two key ideas:
4838
The Go Programming Language turns two
Happy 2nd birthday, Go!
4839
Types as axioms, or: playing god with static types
A common perspective is that types are restrictions . Static types restrict the set of values a variable may contain, capturing some subset of the space of “all possible values.” Under this worldview, a typechecker is sort of like an oracle, predicting which values will end up where when the program runs and making…
4840
TruffleRuby on the Substrate VM
Technical articles by Kevin Menard. Topics include Ruby, Java, machine learning, and general computing.
4841
Book review: The Little Typer (2021)
A book review of my journey through dependent typing.
4842
Algebraic effects, ownership, and borrowing
Algebraic Effects are a useful abstraction for reasoning about effectful programs by letting us leave the interpretation of these effects to callers. However, most existing literature discusses these in the context of a pure functional language with pervasive sharing of values. What restrictions would we need to…
4843
Ruby Fiber Scheduler
Ruby can work asynchronously with just a Fiber Scheduler and a couple built-in methods - no frameworks are required! It's easy to use, scales well, and has amazing performance benefits.
4844
4845
4846
Tuning Ruby's Global Method Cache
I was recently profiling a production Shopify application server using perf and noticed a fair amount of time being spent in a particular function, st_lookup, which is used by Ruby’s MRI implementation for hash table lookups: Hash tables are used all over MRI, and not just for the Hash object; global variables…
4847
Why Logtalk?
Logtalk - Declarative object-oriented logic programming language
4848
Defeating Racket’s separate compilation guarantee
Being a self-described programming-language programming language is an ambitious goal. To preserve predictability while permitting linguistic extension, Racket comes equipped with a module system carefully designed to accommodate composable and compilable macros . One of the module system’s foundational properties is…
4849
4850
Why checked exceptions failed
Programming language features are never orthogonal.
4851
Does C++ still deserve a bad rap?
Traditionally C++ has been seen by many (and you know who you are) as just plain bad: the code is unreadably verbose, error messages are und...
4852
The road to Dart 3: A fully sound, null safe language
Preparing for the next major release, where Dart only supports sound null safety
4853
Is English a “creole Language”?
September 28, 2024 @ 5:50 am · Filed by Mark Liberman under Linguistics in the comics
4854
Revisiting Java in 2021 – Part II
A look at how Java 17 stacks up against Kotlin and Scala for development teams in 2021, and an overview of popular JVM technologies.
4855
4856
`std::flip`
std::flip is a little-known utility from the C++ standard library header <functional>: it is a higher-order function that accepts a Callable and returns an equivalent Callable with the order of its parameters reversed (or “flipped”).
4857
Contracts for C
C++ seems to finally converge with their contracts proposal, I decided to give it a try and come up with ideas how such a thing would look for C. This is in early stages, not a full proposal yet, a…
4858
In CPython, types implemented in C are part of the type tree
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
4859
Performance Analysis of Python's Dict() and {}
Some time ago, during a code review, I had a discussion with a colleague of mine about preferring dict() over {} in new Python code. They argued that dict() is more readable — and expresses intent more clearly — therefore should be preferred. I wasn’t convinced by that, but at that time I didn’t have any…
4860
Compile-time JSON deserialization in C++
(Discussion on HackerNews)