Types are shapes — a graphical programming exploration

Shapes are valuable hints

Some type theory

  • number
  • text
  • list
Couldn't match expected type `(Int, Int) -> Point'
with actual type `[(Int, Int) -> Point]'
The function `map' is applied to three arguments,
but its type `(Point -> (Int, Int) -> Point)
-> [Point] -> [(Int, Int) -> Point]'

Shapes in the real world

Polymorphism in the real world

Polymorphic shapes for programming

Filter

Map

Types are for beginners

Update 11/29/16

--

--

--

Enabling computational thinking by building tools for thought at futureofcoding.org. Co-creator of thecodingspace.com and woofjs.com

Love podcasts or audiobooks? Learn on the go with our new app.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Steve Krouse

Steve Krouse

Enabling computational thinking by building tools for thought at futureofcoding.org. Co-creator of thecodingspace.com and woofjs.com

More from Medium

Variables

Fibonacci fun

The story of exception handling in C#

Converting UTC DateTime to Local DateTime (MSSQL + JS)