◭ 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: [ Ссылка ]

——————————————————

📚 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
[ Ссылка ]

свернуть