BT

InfoQ Homepage Presentations The Trouble With Types

The Trouble With Types

Bookmarks

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.

About the conference

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.

Recorded at:

Oct 28, 2013

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.

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

Community comments

  • Interesting developments for Scala in the works, it seems

    by Faisal Waris /

    Your message is awaiting moderation. Thank you for participating in the discussion.

    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.

  • Dotty the cat - Scala's daughter

    by Alexander Semenov /

    Your message is awaiting moderation. Thank you for participating in the discussion.

    Thank you, Martin. Now I know which name to give to my cat Scala' daughter.

  • Re: Interesting developments for Scala in the works, it seems

    by Alan Johnson /

    Your message is awaiting moderation. Thank you for participating in the discussion.

    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!

  • Re: Dotty the cat - Scala's daughter

    by Nick Linker /

    Your message is awaiting moderation. Thank you for participating in the discussion.

    ROFL

  • What does this mean for Scalaz?

    by Ryan Riley /

    Your message is awaiting moderation. Thank you for participating in the discussion.

    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?

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

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

BT

Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.