Loading...

Midwest.io 2014 - Static Analysis in Julia - Leah Hanson

564 views

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jul 21, 2014

This talk was given at Midwest.io 2014.

Julia is a new dynamically-typed language for technical computing. While it uses types for many things, type checking is not one of them. TypeCheck.jl is a Julia package for when you want static type checking; it collects static-analysis functions that look for common problems in your code: problems that can cause run-time errors or reduced efficiency. TypeCheck.jl's type analysis uses the compiler's type-inference, so it's never out of sync with how your code is being compiled.

About the Speaker

Leah is a software engineer at Google. She spent the Spring of 2013 at Hacker School, where she started learning Julia and wrote WebSockets.jl. The rest of her year was spent writing Julia code, including TypeCheck.jl. She has presented 3 hour Intro to Julia workshops at LambdaJam, Strange Loop, and Strata NYC.

Loading...


to add this to Watch Later

Add to

Loading playlists...