Elektrine
Log in Register

#linkblog

28 posts · Last used 23d

Abhinav 🧭 @abnv@fantastic.earth
· 2mo ago
Bookmarked: [github.com/bytexenon] Tiny-Lua-Compiler: Possibly the smallest Lua compiler ever https://github.com/bytexenon/Tiny-Lua-Compiler See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
GitHub

GitHub - luauminati/Tiny-Lua-Compiler: 🌸 Possibly the smallest Lua compiler ever

🌸 Possibly the smallest Lua compiler ever. Contribute to luauminati/Tiny-Lua-Compiler development by creating an account on GitHub.

11
0
9
0
Abhinav 🧭 @abnv@fantastic.earth
· 3mo ago
Bookmarked: [jle.im] Extreme Haskell: Typed Expression EDSLs (Part 1) https://blog.jle.im/entry/extreme-haskell-typed-expression-edsls-1.html See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Extreme Haskell: Typed Expression EDSLs (Part 1)
in Code

Extreme Haskell: Typed Expression EDSLs (Part 1)

I always say, inside every Haskeller there are two wolves, living on opposite ends of the Haskell Fancy Code Spectrum. Are you going to write “simple Haskell”, using basic GHC 2010 tools and writing universal Haskell that every introductory course offers, trying to keep the code as immediately understandable and accessible? Or are you going to pile in all of the Haskell type system and evaluation tricks you can find and turn on all the extensions, and go full fancy? In my Seven Levels of Type Sa

0
0
0
0
Abhinav 🧭 @abnv@fantastic.earth
· 3mo ago
Bookmarked: [alic.dev] When Zig outshines Rust - Memory efficient enum arrays https://alic.dev/blog/dense-enums.html See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
alic.dev

When Zig outshines Rust - Memory efficient enum arrays

Proper support for sum types or tagged unions have become table stakes for systems programming languages. However, they can incur a lot of memory fragmentation that's not trivial to avoid without good support for metaprogramming. This post goes into Zig's powerful comptime feature, and how it allows some radical approaches to efficient data structure design.

0
0
0
0
Abhinav 🧭 @abnv@fantastic.earth
· 3mo ago
Bookmarked: [lesleylai.info] Representing an Abstract Syntax Tree in C++: Variants https://lesleylai.info/en/ast-in-cpp-part-1-variant/ See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
lesleylai.info

Representing an Abstract Syntax Tree in C++: Variants | Lesley Lai

This post explores various ways to implement an abstract syntax tree (AST) in C++. In particular, it focuses on representing "variant" structures that can hold values from a fixed set of alternatives.

0
0
0
0
Abhinav 🧭 @abnv@fantastic.earth
· 7mo ago
Bookmarked: [jle.im] Faking ADTs and GADTs in Languages That Shouldn't Have Them https://blog.jle.im/entry/faking-adts-and-gadts.html See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Faking ADTs and GADTs in Languages That Shouldn't Have Them
in Code

Faking ADTs and GADTs in Languages That Shouldn't Have Them

Haskell is the world’s best programming language, but let’s face the harsh reality that a lot of times in life you’ll have to write in other programming languages. But alas you have been fully Haskell-brained and lost all ability to program unless it is type-directed, you don’t even know how to start writing a program without imagining its shape as a type first. Well, fear not. The foundational theory behind Algebraic Data Types and Generalized Algebraic Data Types (ADTs and GADTs) are so fundam

0
0
0
0