Last year, on flatMap(Oslo): Jonas and Einar found that they could write safe programs if they employed big lambdas (types) to watch over the small lambdas (expressions), in a typed lambda calculus. That way, the small lambdas wouldn't form terms that would run off to compute forever.
This year, on flatMap(Oslo): Jonas and Einar return to investigate the nature of such renegade terms. Are they any good? Can we do something useful with them? And, more importantly, can we do something useless? Join Jonas and Einar as they boldly go where types say no!
Einar W. Høst is an unapologetic ivory tower zealot who programs computers at NRK. His heretic views include thinking before programming and making drawings to understand things better. This arrogant mindset no doubt stems from years of doing nothing of value while obtaining a PhD in Computer Science from the University of Oslo.
Jonas is a construKction worker at Computas and a subclass of Animal. He's got an MSc in Computer Science from the University of Oslo andalso really likes programming languages and dogs. Passionate about Enterprise Software Engineering. Dog is more like an interface or a trait than like a class; you can have like a bunny and like that can be your dog if you want.
Do you want to sponsor flatMap(Oslo)?
Send an email to firstname.lastname@example.org