This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Friday, August 14 • 2:50pm - 3:10pm
Proactively Lazy: Enforcing Laziness with Types

Sign up or log in to save this to your schedule and see who's attending!

Laziness as expressed with by-name parameters to functions can lead to surprising behavior with evaluation occurring where the developer might not expect. This is especially true when using complex helpers or building DSLs that pass by-name through several functions. This talk will show how to use Scala's type system to enforce where evaluation occurs by lifting lazy and by-name values into monadic constructs.

avatar for Andy Wortman

Andy Wortman

Andy has a grand vision of seeing the words "proof" and "correctness" as common as "test" and "spec" already are. More realistically, he'd be elated to see better failure modes become the norm. By day he writes Scala at Originate for all kinds of work; the rest of the time he keeps Scala around as a trusty tool to do all kinds of things, not just web apps!

Friday August 14, 2015 2:50pm - 3:10pm
Track A

Attendees (35)