Description:
Are you fascinated by how programming languages work under the hood? Join our weekly meetup where we explore compilers, programming language design, and the diverse ecosystems that bring code to life!
We've evolved from our OCaml roots into a vibrant community that examines programming languages from every angle. Whether you're curious about type systems, debating functional vs object-oriented paradigms, or diving into implementation details like Haskell's tuples, you'll find engaging discussions here.
***
🔍 What we explore:
• Compiler construction phases - lexical analysis, parsing, type checking, optimization, and code generation
• Compilation targets & environments - virtual machines, WebAssembly, and LLVM
• Programming language features - type systems, design trade-offs across languages from OCaml to Rust to Haskell and beyond
***
👥 Who we are:
Our community includes:
• Beginners taking their first steps into compiler construction
• Experienced developers working on language implementations
• Everyone in between!
We provide guidance and mentorship for those starting from scratch, while also tackling advanced topics for seasoned practitioners.
***
💡 What happens in our sessions:
• Share compiler projects and implementation challenges
• Debate language design decisions
• Collaborate on solving interesting problems
• Compare strategies (like garbage collection approaches)
• Build toy language parsers together
***
🎯 Who should join:
• Compiler construction enthusiasts
• Programming language designers
• Type theory aficionados
• VM implementers
• OCaml, Haskell, Rust (or any language) enthusiasts
• Anyone curious about what happens when you hit "compile"
***
📋 What to bring:
• Your curiosity about programming languages
• A laptop if you want to code along
• Any questions or projects you'd like to discuss
No prior compiler experience necessary – just bring your enthusiasm for understanding how programming languages come to life!
