Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
26Activity
P. 1
Practical Haskell Programming: scripting with types

Practical Haskell Programming: scripting with types

Ratings:

4.0

(1)
|Views: 41,545 |Likes:
Published by Don Stewart
Shell scripts are often a quick, dirty way to get the job done. You glue
together external tools, maybe do a little error checking and process all data
as strings. This is great for some very simple problems but as requirements
change and more is demanded from the code shell scripts become unwieldy and
fragile. When they get large, they become slow and difficult to maintain. If
you need to write robust code then shell is not the way to go.

In this talk at an alternative: how to use Haskell as a type checked and
natively compiled language for scripting tasks. By refining the semantics of
the problem domain, employing abstraction, we produce shorter and more robust
code, that is more maintainable and scalable.

= About the Speaker =

Don is an Australian computer scientist and engineer at Galois, Inc, in
Portland, Oregon, where he works on creating trustworthiness and
assurance in critical systems, with an emphasis on language design and
formal methods. Don is co-author of the award winning book, Real World
Haskell (http://realworldhaskell.org), published by O'Reilly, and the
XMonad window manager for Unix.
Shell scripts are often a quick, dirty way to get the job done. You glue
together external tools, maybe do a little error checking and process all data
as strings. This is great for some very simple problems but as requirements
change and more is demanded from the code shell scripts become unwieldy and
fragile. When they get large, they become slow and difficult to maintain. If
you need to write robust code then shell is not the way to go.

In this talk at an alternative: how to use Haskell as a type checked and
natively compiled language for scripting tasks. By refining the semantics of
the problem domain, employing abstraction, we produce shorter and more robust
code, that is more maintainable and scalable.

= About the Speaker =

Don is an Australian computer scientist and engineer at Galois, Inc, in
Portland, Oregon, where he works on creating trustworthiness and
assurance in critical systems, with an emphasis on language design and
formal methods. Don is co-author of the award winning book, Real World
Haskell (http://realworldhaskell.org), published by O'Reilly, and the
XMonad window manager for Unix.

More info:

Published by: Don Stewart on Aug 18, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPT, PDF, TXT or read online from Scribd
See more
See less

07/10/2013

pdf

text

original

 
Practical Haskell Programming:
Scripting With Types
Don Stewart | 2010-08-17
 
© 2010 Galois, Inc. All rights reserved.
Scripting with Types
I
ntroduction to Haskell
Designing with types
 An example: scripting privileged syscalls
Engineering tools for reliability
Further reading
 
© 2010 Galois, Inc. All rights reserved.
P
art 1. Shell scripting

Activity (26)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
kenpou_ishii liked this
Wahiba Wahiba liked this
kenpou_ishii liked this
Haroon Khan liked this
Ngô Anh liked this
Philip Sabine liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->