dostrelith678 / hpm-education-haskell Goto Github PK

This is a repeat of the Introduction section. Remove or change Introduction to Haskell section?

Also, the italic descriptions of Haskell are mentioned they will be explored in more detail.

Would be cool to have all these terms linked to the sections in the book where they are specifically covered.

Lists -
Animation for the list examples. Illustrate how errors will occur if same element type is not used in list or list of lists.
Show the empty set and singleton special cases.

Tuples -
Animation showing Tuple example. Show difference between normal list and tuple. Demonstrate example(s) of common use of tuples and different "arity" making note that tuples must be finite and type must be known.
Show how tuple won't work in the Haskell type system if not defined properly or violate the definition.

Expressions -
Animation showing Lego/ building blocks illustrating functions to arguments. Show building blocks are made of expressions.
Show different examples of expressions. Example of reducible vs irreducible.

Loading Modules into GHCi -
Screen capture showing the triple function getting loaded into GHCi - show that file structure again to solidify understanding
that when loading one must be in the same directory the file is located in.

Also, maybe add a blurb about what the GHC interactive environment is and what it can do/ used for.

Static Type Check -
Animation to show expression type being known at compile-time vs run-time. Show that errors are found before running.
Show examples of type inference that Haskell automatically does. Show how this helps out the programmer by suggesting more concise code. Illustrate type signature example for Triple function and subsequent examples with error and polymorphism reference.

List Functions -
Illustrate the various list function examples. Cement the idea of immutability and demonstrate how lists are created with the operator cons ":" and empty list [ ].

Animation to illustrate the function examples and how to define functions in Haskell.

Perhaps we just remove "Pros and Cons" and "History of Haskell" sections. This is basically a quickstart guide/ tutorial for people that want to get the most efficient and practical jump into Plutus development... maybe leave those to the other more lengthy works out there on Haskell?

Maybe we could think of some pros and cons related to Plutus instead over time though instead of just general ones that other people already have come up with.

Function Programming vs Imperative Programming -
Animation for imperative C programming example and how it is instead handled in Haskell
Animation to demonstrate point that there are no variable assignments in Haskell, how = sign is used in Haskell.

Laziness -
Animation of a lazy Haskell logo to represent programming language. Someone poking with stick. Doesn't evaluate expressions until it is prompted to do so. Illustrate the examples. Show how the drawback can eat up lots of memory space and crash if all system memory is consumed.

Basic Types -
Animations for each of the types illustrating the examples.

Immutability -
Show what immutability is with examples of things that never change. No such thing as assignment in Haskell.

Haskell Modules -
Animation showing files/ file structure like most people are used to using a GUI operating system like Windows/ Mac to illustrate
modules. Show the .hs file extension and other examples most people are familiar with.
Include illustration for the module example and how to use comments - what they essentially do.

Installing Haskell -
Animations or screen captures for steps to install just for some visual support for those not already savvy looking
to get into Plutus dev. Think we will see a lot of people that weren't previously programmers wanting to get into
Plutus and smart contract development. Always going to keep that in mind as we flesh this out more. This is basically
an on-ramp for people of all skill levels that will literally provide the essentials in a way that clicks for most people.

Just how I'm thinking about this. Feel that is what you are going for just from what I've read thus far.