If you were to write a #compiler in #Haskell, would you use a lens library to transform the data structures? #poll #compilers #pldev
If you were to write a #compiler in #Haskell, would you use a lens library to transform the data structures? #poll #compilers #pldev
Today, I discovered that Rust does monomorphization... and what monomorphization is!
https://rustc-dev-guide.rust-lang.org/backend/monomorph.html
Basically, it's mostly important (I think) if you are reversing Rust or need to understand what the compiler does.
The idea is that with monomorphization, code which is apparently generic is actually compiled in a specialized manner for your code. Like you use "map", well, you'll get your own map with your own specificities.
I want to read a #compiler book written in the last 15 years that covers same topics as the Modern Compiler Implementation book by Appel, but uses recent terminology, tools and techniques. Any recommendations? #compilers #programminglanguages
EDIT: It seems like no such book exists. I guess I’ll have to read docs, blogs and papers along with old books to put things together myself.
1. resume work on a hobby compiler project
2. simplify first 'native' backend with a toy risc32 target
3. luckily the emulator was quick to write
4. let's verify the emulator first
5. writing test vectors by hand in hex is no fun
6. time to write an assembler for this ISA
7. and thus yaks are shaved
“Hedge funds will go to great lengths in pursuit of #profits, whether it is by counting cars in satellite photos of parking lots or shipping gold across the Atlantic. Building a #compiler—a piece of #software that turns human-written code into programs a computer can execute—for your homegrown language? That still raises eyebrows.
#JaneStreet is the quant shops’ quant shop, and it does just that, with great success. Last year its trading revenue almost doubled, to $21bn, putting it on a par with giants such as #Citigroup and #MorganStanley. And the goose that lays the golden egg is its #tech system.
But it is what this system is built from that is really unusual. Other firms employ a hotchpotch of #ProgrammingLanguages, allowing staff to choose the right one for the job. At Jane Street almost everyone works in an obscure tongue developed by French academics: #OCaml.
Ask a #trader at the firm for its benefits and they will reel off a string of features, such as its support for #StaticTyping and #FunctionalProgramming, that make it hard to learn but powerful when applied to a problem. The company says the language helps “maximise the #productivity of each person we hire”.”
#HedgeFunds / #finance <https://www.economist.com/finance-and-economics/2025/06/26/jane-streets-sneaky-retention-tactic> (paywall) / <https://archive.md/DQ0ku>
I am building gcc-15.1.0 on my iMac G4 (Tiger) machine. It is on stage2, which is a good sign.
It will include C, C++, Fortran, Modula-2, Objective C, and Objective C++ compilers.
It will depend on my new PowerPC Mac OS X modernization library, libpcc: https://github.com/ibara/libppc
I'll write a blog post about how to use it once it is all compiled; my goal is to produce a turnkey solution that just works(TM), including assembler, linker, and other utilities, as recent as possible for PowerPC.
And libppc can be instantly extendable to incorporate more C11 and later features. Hopefully others in the retro Mac community are interested in building that up with me.
My ultimate goal is to build some flavor of WebKit some day and have a modern web experience (even if slow, and possibly using X11). But in the meantime we will probably build a lot of excellent modern software to keep these machines going.
GSoC update! @AlleyCH is diving into the Vala compiler to bring native JSON (de)serialization support.
She has been exploring the full compilation pipeline and is working on a new valajsonmodule.vala. Adding native support will make it much easier for Vala developers to work with structured data out of the box—less boilerplate, better developer experience.
Read the full blog post:
https://alleych.github.io/gnome/compiler-knowledge/
#Compilers are so damn cool. You type in a perfectly reasonable program, and the #compiler somehow translates it into a hyper-efficient sequence of machine instructions whose names look like somebody at Intel mashed their face on their keyboard. I would 300% lose my mind trying to write modern #assembly, but compilers make it look easy.
TPDE Compiler Back-End Framework
https://arxiv.org/abs/2505.22610
"TPDE-LLVM: a standalone back-end for LLVM-IR, which compiles 10--20x faster than LLVM -O0 with similar code quality, usable as library (e.g., for JIT), as tool (tpde-llc), and integrated in Clang/Flang (with a patch)."
Holy cow!
Open Source on GitHub:
https://github.com/tpde2/tpde
Hot tip for #Unity developers: Use #BurstCompiler with #UnityECS for lightning fast performance!
#gamedev #unitytips #unity3d #indedev #compiler #dots #ecs
Learn more: https://docs.unity3d.com/Packages/com.unity.burst@1.6/manual/index.html
Hot tip for #Unity developers: Use #BurstCompiler with #UnityECS for lightning fast performance!
#gamedev #unitytips #unity3d #indedev #compiler #dots #ecs
Learn more: https://docs.unity3d.com/Packages/com.unity.burst@1.6/manual/index.html
FreeBASIC is a free/open source BASIC compiler for Windows DOS and Linux
Webentwicklung: Der neue TypeScript-Compiler in Go | heise online
https://heise.de/-10355589 #TypeScript #Compiler #Golang
Microsoft beerdigt TypeScript – und erfindet es in Go neu: Warum? | heise online
https://www.heise.de/blog/Microsoft-beerdigt-TypeScript-und-erfindet-es-in-Go-neu-Warum-10317343.html #Microsoft #TypeScript #Compiler #Golang
Go free libre software or go home!
https://anonsys.net/display/bf69967c-4067-8e85-454b-e3a543156430
A question for my CS colleagues. I'm looking for examples for interpreters or JIT compilers in places one would not necessary expect in an operating system at runtime (in the widest possible context). Obvious examples are IMHO shells or (e)BPF/dtrace scripts. Some more exotic uses I can think of are interpreters for vector fonts (e.g. PS Type1 or TT hints) or the use of Prolog in the network configuration of NT4.
Do you know other examples?
https://web.archive.org/web/20040603192757/research.microsoft.com/research/dtg/davidhov/pap.htm
Currently dallying with a simple embedded, statically typed scripting language. The magic is an extensible lexer and parser, with the hosting application able to do something like
VM_addCommand(vm, KEYWORD(“open”), KEYWORD(“file”), TYPE(STRING), KEYWORD(“as”), REFERENCE, END);
to allow something like
open file “foo.txt” as myFile
It’s obviously been done before, but it’s fun to play with. I haven’t done enough #compiler or #parser work lately.
A wild #blog post appears.
A tutorial for setting up a cross compilation environment using FreeBSD/amd64 as the host and macOS/aarch64 as the target.