Video details

TypeScript Berlin Meetup #8 - Magnus Kulke - Type Level Programming (with Dependent Types)


◭ The presentation wants to dip toes into the weird twilight zone between Types and Values in Typescript. We'll briefly look at the core concept of Dependent Types in Idris and attempt to carry it over to Typescript. We probably won't end up with production-ready code, but maybe we learn something about programming at the type level.
◭ Magnus is working at Mobimeo (Berlin) as an Engineering Manager in the Search domain, helping folks move around sustainably. He enjoys Mobility, Geospatial data, and wrestling with Rust's borrow checker.
◭ Get in touch with Iván:
◭ Join our TypeScript Berlin Meetup group:
◭ Filmed by Filip Antoni:,+P%C3%BCcklerstra%C3%9Fe+26,+10997+Berlin&ludocid=4058895443109858358&lsig=AB86z5VVPT4r_jK3c6AiozXjpSnu&hl=en&gl=DE#lrd=0x47a84f877a876c3d:0x385417e68b03cc36,1
📚 Learn more about Prisma • Website: • Docs: • Quickstart:
❓ Get help with Prisma issues • Slack: • GitHub: • Stackoverflow:
💬 Follow Prisma on social media • Twitter: • Instagram: • TikTok: • Facebook: • LinkedIn:
🔠Professional captions for your technical videos Prisma sponsors human-reviewed, professional closed captions for ANY video valuable to our community (for example, about: Node.js, TypeScript & Type Safety,
Prisma, databases, etc). Get your FREE captions here:
✅ Subscribe to Prisma's YouTube channel