BT
You are now in FULL VIEW
CLOSE FULL VIEW

The Trouble With Types
Recorded at:

| by Martin Odersky Follow 1 Followers on Oct 28, 2013 |
48:51

Summary
Martin Odersky outlines the main categories of static type systems as well as some new developments, and discuss the tradeoffs they make.

Sponsored Content

Bio

Martin Odersky is co-founder of Typesafe, the creator of the Scala programming language, and a professor in the programming research group at EPFL, the leading technical university in Switzerland. He wrote javac, the compiler used by the majority of today's Java programmers, and scalac, the compiler used by the fast-growing Scala community. He authored "Programming in Scala", a best-seller.

Strange Loop is a multi-disciplinary conference that aims to bring together the developers and thinkers building tomorrow's technology in fields such as emerging languages, alternative databases, concurrency, distributed systems, mobile development, and the web.

Related Topics:

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Tell us what you think

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread
Community comments

Interesting developments for Scala in the works, it seems by Faisal Waris

Scala will probably undergo some significant changes until it settles down. Making the type system simpler is all for the better.

Personally, Type Classes make sense in Haskell but I was not sure about the need for higher kinded types in languages with OO features. From Odersky's talk it seems you can do without them in Scala and thereby reduce complexity.
  • Like
  • Reply
  • Back to top

Dotty the cat - Scala's daughter by Alexander Semenov

Thank you, Martin. Now I know which name to give to my cat Scala' daughter.
  • Like
  • Reply
  • Back to top

Re: Interesting developments for Scala in the works, it seems by Alan Johnson

I totally agree! If this is the direction Scala is headed, then bravo! It needs to get a bit more opinionated, because it's tough to constantly switch modes between all the different paradigms it has. I've been working with Scala a lot over the past few months, but I don't feel like I actually know the "real" Scala. This refinement seems quite elegant!
  • Like
  • Reply
  • Back to top

Re: Dotty the cat - Scala's daughter by Nick Linker

ROFL
  • Like
  • Reply
  • Back to top

What does this mean for Scalaz? by Ryan Riley

Scalaz uses higher-kinded types extensively. How will the proposed changes impact that project? Will it be able to adapt all of its libraries completely? Will it have to change a number of its implementations?
  • Like
  • Reply
  • Back to top

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

5 Discuss

Sponsored Content

Login to InfoQ to interact with what matters most to you.

Forgot password ? Don't have an account? Register Here

Recover your password...

Back to login Don't have an account? Register Here
Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT

We notice you're using an ad blocker

We understand why you use ad blockers. However to keep InfoQ free we need your support. InfoQ will not provide your data to third parties without individual opt-in consent. We only work with advertisers relevant to our readers. Please consider whitelisting us.