haskell overview
play

Haskell Overview David Grisham 31 October 2017 Haskell Overview - PowerPoint PPT Presentation

Nov 20, 2023 •10 likes •320 views

Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Haskell Overview David Grisham 31 October 2017 Haskell Overview David Grisham Properties Ecosystem History My Haskell Projects Why care

  1. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Haskell – Overview David Grisham 31 October 2017 Haskell – Overview David Grisham

  2. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Properties Haskell – Overview David Grisham

  3. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Outline • Polymorphically statically typed • Lazy • Purely functional Haskell – Overview David Grisham

  4. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Type System • Polymorphic • Static typing • Strong typing Haskell – Overview David Grisham

  5. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Type System Polymorphism 1 Parametric polymorphism • Unconstrained type variables • e.g. id :: a -> a 2 Ad-hoc polymorphism • Constrained type variables • e.g. sort :: Ord a => [a] -> [a] Haskell – Overview David Grisham

  6. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Type System Static typing • Type-checking happens at compile time • Efficient • No runtime type-checks • Known memory requirements Haskell – Overview David Grisham

  7. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Type System Strong typing • No implicit type conversions. . . • . . . but does have type inference and polymorphism Haskell – Overview David Grisham

  8. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Lazy • Evaluation only when needed > x = 1 `div` 0 > print x *** Exception: divide by zero Haskell – Overview David Grisham

  9. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Lazy Advantages • Save computation time • More modular and expressive Disadvantages • Memory usage less predictable • Might slow down execution Haskell – Overview David Grisham

  10. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Purely Functional • Pure : prohibits side effects • Functions operating on immutable data • Referential transparency • Lazy evaluation Haskell – Overview David Grisham

  11. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Ecosystem Haskell – Overview David Grisham

  12. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Tools • GHC • Stack Haskell – Overview David Grisham

  13. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading GHC • Standard compiler for Haskell • Simon Peyton Jones, Simon Marlow Haskell – Overview David Grisham

  14. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Stack • Development environment for Haskell • Package management, testing, . . . Haskell – Overview David Grisham

  15. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading History Haskell – Overview David Grisham

  16. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading From the man himself. . . Click Haskell – Overview David Grisham

  17. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading My Haskell Projects Haskell – Overview David Grisham

  18. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Elements of Computing Systems • Compiler for Jack (Java-like language) • Jack → VM • VM → assembly language • Only group using Haskell • Python, Java, Ruby, . . . Haskell – Overview David Grisham

  19. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Compiler: Benefits of Haskell • Parsec (‘Parser combinators’) • Build complex parsers from simple ones • Practical intro to more esoteric Haskell • Relatively minimal Haskell knowledge • Result still fairly robust Haskell – Overview David Grisham

  20. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Imperative Language Interpreter • Direct execution (instead of compiling) • Expressiveness exec (IfStmt condition stmt1 stmt2) env | condition = exec stmt1 env | otherwise = exec stmt2 env Haskell – Overview David Grisham

  21. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Other Projects • Decoy routing • Game-theoretic simulation • Movie suggestion script • Filter movies based on genre/etc. • Spit out random movie from result • Todo-list manager • Add task, schedule task, . . . • taskwarrior Haskell – Overview David Grisham

  22. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Why care about Haskell? Haskell – Overview David Grisham

  23. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading XKCD Haskell – Overview David Grisham

  24. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Motivation • Expressive • Fewer runtime bugs • Easier to debug • Easier to maintain • Code reuse Haskell – Overview David Grisham

  25. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Worst practices should be difficult • Sensible defaults in Haskell • Maybe / Nothing over NULL / None • Immutability • Minimal IO Haskell – Overview David Grisham

  26. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Programming Paradigm • Informs how you think about coding • Very useful to broaden • Better code in other languages Haskell – Overview David Grisham

  27. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Coming Up With Haskell Projects Challenge isn’t “what can I do in Haskell” Challenge is “how can I do X in Haskell” Haskell – Overview David Grisham

  28. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Further Reading Haskell – Overview David Grisham

  29. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Links (articles) • Beating the Averages • Competitive advantage in programming language choice • Worst practice should be hard • Long-term language productivity Haskell – Overview David Grisham

  30. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Links (paper and talk) • Von Neumann vs. Functional Languages • First 10 pages, more if you want • Functional Programming Design Patterns • Straightforward explanations of functional advantages Haskell – Overview David Grisham

  31. Properties Ecosystem History My Haskell Projects Why care about Haskell? Further Reading Links (learning resources) • Real World Haskell • Brian O’Sullvian, et al. • Stanford 240h: Functional Systems in Haskell • David Mazieres and Brian O’Sullvian • All resources available (except lecture vids) • /r/haskell • Consistently worthwhile content here Haskell – Overview David Grisham

Recommend

Haskell-RL An Equational Specification of Haskell in Maude Andrew Bennett Presented on 24 April

Haskell-RL An Equational Specification of Haskell in Maude Andrew Bennett Presented on 24 April

Haskell-RL An Equational Specification of Haskell in Maude Andrew Bennett Presented on 24 April 2006 Summary Haskell / Haskell-RL Examples Supported Features Haskell-RL State Implementation Functions Data Types

631 views • 14 slides
An overview of Haskell Haggai Eran 23/7/2007 Haggai Eran An overview of Haskell Introduction

An overview of Haskell Haggai Eran 23/7/2007 Haggai Eran An overview of Haskell Introduction

Introduction Features Haskell Implementation Summary An overview of Haskell Haggai Eran 23/7/2007 Haggai Eran An overview of Haskell Introduction Features Haskell Implementation Summary Outline Introduction 1 Nice Syntactic Features

1.38k views • 122 slides
Bringing Haskell to the World www.fpcomplete.com Experience Report Building Haskell Development

Bringing Haskell to the World www.fpcomplete.com Experience Report Building Haskell Development

Bringing Haskell to the World www.fpcomplete.com Experience Report Building Haskell Development and Deployment tools Gregg Lebovitz Director, Product Management FP Complete Company Goals Increase Haskell Adoption Make Haskell More

344 views • 21 slides
Haskell Deian Stefan (adopted from my & Edward Yangs CSE242 slides) Why Haskell? The

Haskell Deian Stefan (adopted from my & Edward Yangs CSE242 slides) Why Haskell? The

Haskell Deian Stefan (adopted from my & Edward Yangs CSE242 slides) Why Haskell? The great ideas [Haskell] Expressive power (say more with less) Pattern matching First-class functions Exception handling Type inference Continuations

597 views • 26 slides
Plugin Architectures in Haskell Motivation 1 [1] [2] Problem Description Extensibility through

Plugin Architectures in Haskell Motivation 1 [1] [2] Problem Description Extensibility through

Sebastian Graf An Overview over the ecosystem September 15, 2016 https://github.com/sgraf812/hal16 Plugin Architectures in Haskell Motivation 1 [1] [2] Problem Description Extensibility through third party code Haskell as extension language

248 views • 20 slides
Neil Mitchell Catch: Project Overview Catch checks that a Haskell program wont raise a

Neil Mitchell Catch: Project Overview Catch checks that a Haskell program wont raise a

Haskell With Go Faster Stripes Neil Mitchell Catch: Project Overview Catch checks that a Haskell program wont raise a pattern match error head [] = error no elements in list Infer preconditions, postconditions Lots

690 views • 29 slides
Through the lens of Haskell Exploring new ideas for library design @georgesdubus Haskell, the

Through the lens of Haskell Exploring new ideas for library design @georgesdubus Haskell, the

Through the lens of Haskell Exploring new ideas for library design @georgesdubus Haskell, the language Haskell, the ecosystem Design space There should be one and preferably only one obvious way to do it. (Python) There should be

831 views • 46 slides
Deriving a Relationship from a Single Example Neil Mitchell community.haskell.org/~ndm/derive

Deriving a Relationship from a Single Example Neil Mitchell community.haskell.org/~ndm/derive

Deriving a Relationship from a Single Example Neil Mitchell community.haskell.org/~ndm/derive Haskell data type Haskell lets us define data types: data Language = Haskell [Extension] Compiler | Javascript | Cpp Version Eq instance

1.46k views • 56 slides
Metaprogramming Haskell, Metaprogramming Haskell, Metaprogramming Haskell, The Racket Way The

Metaprogramming Haskell, Metaprogramming Haskell, Metaprogramming Haskell, The Racket Way The

Metaprogramming Haskell, Metaprogramming Haskell, Metaprogramming Haskell, The Racket Way The Racket Way The Racket Way Alexis King Alexis King Northwestern University & PLT 1 #!/bin/bash set -ueo pipefail curl -s

1.4k views • 70 slides
Haskell for Grownups Bill Harrison February 8, 2019 Table of Contents Introduction Resources

Haskell for Grownups Bill Harrison February 8, 2019 Table of Contents Introduction Resources

Haskell for Grownups Bill Harrison February 8, 2019 Table of Contents Introduction Resources for Haskell Haskell vs. C Types + Functions = Programs Pragmatics Modules are the basic unit of a Haskell program Using GHCi How to Write a

761 views • 50 slides
Artificially Artificially Intelligent Intelligent Haskell Haskell Overview About Aetion

Artificially Artificially Intelligent Intelligent Haskell Haskell Overview About Aetion

Artificially Artificially Intelligent Intelligent Haskell Haskell Overview About Aetion What we do, and how we do it H o w F P h a s ( a n d h a s n t ) h e l p e d About Aetion Approach to AI based on

595 views • 27 slides
A Haskell-Implementation of STM Haskell with Early Conflict Detection David Sabel

A Haskell-Implementation of STM Haskell with Early Conflict Detection David Sabel

A Haskell-Implementation of STM Haskell with Early Conflict Detection David Sabel Goethe-University, Frankfurt, Germany ATPS 2014, Kiel 1 Introduction Software Transactional Memory (STM) treats shared memory operations as transactions

325 views • 20 slides
haskell cons In haskell consing is done via the infix operator (:). For example: (cons 1 (cons 2

haskell cons In haskell consing is done via the infix operator (:). For example: (cons 1 (cons 2

haskell cons In haskell consing is done via the infix operator (:). For example: (cons 1 (cons 2 (cons 3 null))) is the same as 1:2:3:[] in haskell types Haskell has types! Love the typechecker Some of these types you are familiar

566 views • 9 slides
Understanding Basic Haskell Error Messages by Jan Stolarek jan.stolarek@p.lodz.pl Haskell

Understanding Basic Haskell Error Messages by Jan Stolarek jan.stolarek@p.lodz.pl Haskell

Understanding Basic Haskell Error Messages by Jan Stolarek jan.stolarek@p.lodz.pl Haskell is a language that differs greatly from the mainstream languages of today. An emphasis on pure functions, a strong typing system, and a lack of

406 views • 21 slides
Faster Haskell Neil Mitchell www.cs.york.ac.uk/~ndm The Goal Make Haskell faster

Faster Haskell Neil Mitchell www.cs.york.ac.uk/~ndm The Goal Make Haskell faster

Faster Haskell Neil Mitchell www.cs.york.ac.uk/~ndm The Goal Make Haskell faster Reduce the runtime But keep high-level declarative style Full automatic - no special functions Different from foldr/build,

478 views • 24 slides
Explicit Recursion in Generic Haskell Andres L oh Universiteit Utrecht andres@cs.uu.nl 26th

Explicit Recursion in Generic Haskell Andres L oh Universiteit Utrecht andres@cs.uu.nl 26th

Explicit Recursion in Generic Haskell Andres L oh Universiteit Utrecht andres@cs.uu.nl 26th March 2003 This is joint work with Dave Clarke and Johan Jeuring. Overview What is Generic Haskell? The difference between implicit and

528 views • 34 slides
Dr. Strange- Todd L. Montgomery @toddlmontgomery Haskell Erlang Haskell Clojure

Dr. Strange- Todd L. Montgomery @toddlmontgomery Haskell Erlang Haskell Clojure

How I Learned to Stop Worrying & Love the or Dr. Strange- Todd L. Montgomery @toddlmontgomery Haskell Erlang Haskell Clojure Groovy Erlang Scala Haskell Clojure C# Groovy Erlang C++11 Scala Haskell

1.14k views • 84 slides
Monadic I/O in Haskell Jim Royer CIS 352 March 5, 2019 Jim Royer Monadic I/O in [1ex]

Monadic I/O in Haskell Jim Royer CIS 352 March 5, 2019 Jim Royer Monadic I/O in [1ex]

Monadic I/O in Haskell Jim Royer CIS 352 March 5, 2019 Jim Royer Monadic I/O in [1ex] Haskell 1 / 33 References Chapter 18 of Haskell: the Craft of Functional Programming by Simon Thompson, Addison-Wesley, 2011. Chapter 9 of Learn you a

620 views • 39 slides
Haskell in the datacentre! Simon Marlow Facebook (FHPC 17, September 2017) Haskell powers

Haskell in the datacentre! Simon Marlow Facebook (FHPC 17, September 2017) Haskell powers

Haskell in the datacentre! Simon Marlow Facebook (FHPC 17, September 2017) Haskell powers Sigma A platform for detection Clients Used by many different teams Mainly for anti-abuse e.g. spam, malicious URLs Machine

883 views • 86 slides
with Deferrable constraints in Haskell through the tale of a Haskell information flow control

with Deferrable constraints in Haskell through the tale of a Haskell information flow control

Gradually typed DSLs with Deferrable constraints in Haskell through the tale of a Haskell information flow control library Pablo Buiras, Alejandro Russo, Dimitrios Vytiniotis Information flow control 101 Non- interference:

465 views • 31 slides
A realtime GraphQL backend as a compiler in Haskell http://bit.ly/graphql-haskell Heippa!

A realtime GraphQL backend as a compiler in Haskell http://bit.ly/graphql-haskell Heippa!

A realtime GraphQL backend as a compiler in Haskell http://bit.ly/graphql-haskell Heippa! Tanmai Gopal @tanmaigo http://bit.ly/graphql-haskell Contents 1. The compiler approach 2. Compiler pipeline a. Parse b. GraphQL AST c.

467 views • 21 slides
wrangling the internet of things with haskell production haskell Reid Draper @reiddraper

wrangling the internet of things with haskell production haskell Reid Draper @reiddraper

wrangling the internet of things with haskell production haskell Reid Draper @reiddraper production haskell Reid Draper @reiddraper production haskell today production haskell at helium 12 months in lowest defect rate lowest defect rate

1.1k views • 68 slides
Template Haskell & Lenses Advanced functional programming - Lecture 1 Wouter Swierstra 1

Template Haskell & Lenses Advanced functional programming - Lecture 1 Wouter Swierstra 1

Template Haskell & Lenses Advanced functional programming - Lecture 1 Wouter Swierstra 1 Template Haskell There is a language extension, Template Haskell , that provides metaprogramming support for Haskell. This defines support for quotating

739 views • 53 slides
CSE 110A: Winter 2020 Fundamentals of Compiler Design I Intro to Haskell Owen Arden

CSE 110A: Winter 2020 Fundamentals of Compiler Design I Intro to Haskell Owen Arden

CSE 110A: Winter 2020 Fundamentals of Compiler Design I Intro to Haskell Owen Arden UC Santa Cruz Based on course materials developed by Nadia Polikarpova and Ranjit Jhala Why Haskell? Haskell programs tend to be simple and

190 views • 17 slides

More recommend