Differences

This shows you the differences between two versions of the page.

--- start [2022/04/27 01:23] – [Basics] f2b216
+++ start [2025/10/08 00:44] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-~~DISCUSSION~~
 ====== HaskSheet ======
@@ Line 40: / Line 39: @@
     * ''[[codesnippets:typeapplications|{-# LANGUAGE TypeApplications #-}]]''
     * ''[[codesnippets:fnowarnorphans|{-# OPTIONS_GHC -fno-warn-orphans #-}]]''
+    * ''[[codesnippets:fnowarnmissingsignatures|{-# OPTIONS_GHC -fno-warn-missing-signatures #-}]]''
   * Prelude including its type classes
     * see also: [[modules:prelude|Prelude overview]]
@@ Line 47: / Line 47: @@
     * [[codesnippets:applicative|Applicative]]
     * [[codesnippets:monads|Monads]]
+      * [[codesnippets:maybe|Maybe]]
+      * [[codesnippets:either|Either]]
     * [[codesnippets:statemonads|State monads]]
+==== Advanced ====
+  * [[codesnippets:templatehaskell|TemplateHaskell]]
+  * [[codesnippets:hint|Interpreted Haskell code by package hint]]
+==== Safety ====
+Proposed properties of safety by using ''{-# LANGUAGE Safe #-}'':
+  * type safety
+  * referential transparency,
+  * strict module encapsulation
+  * modular reasoning
+  * semantic consistency
+  * See also [[https://wiki.haskell.org/Safe_Haskell|Safe Haskell]]
 ==== Use case examples ====
@@ Line 56: / Line 73: @@
   * [[codesnippets:statefuldecoder|Stateful decoder]]
   * [[codesnippets:twopagesgenericparser|A generic parser on two pages]]
+  * [[codesnippets:accumulatingwithinmonadiccontextswithoutfolds|Accumulating within monadic contexts without folds]]
 ==== Debugging ====
@@ Line 62: / Line 80: @@
-==== Strategies ====
+===== Strategies and Methods =====
-=== Structure, types, classes, and so on ===
+==== Structure, types, classes, and so on ====
   * [[codesnippets:avoidconflictprelude|Avoiding name conflict with prelude]]
@@ Line 70: / Line 88: @@
   * [[codesnippets:equivalentfunctioncompositions|Equivalent function compositions]]
-=== Documentation and maintenance ===
+==== Conventions ====
   * [[codesnippets:codingconventions|Coding conventions]]
-=== Test ===
   * [[codesnippets:testingconventions|Testing conventions]]
-==== Markups ====
+==== Haddock Markups ====
   * [[codesnippets:haddockexamples|Haddock examples]]
+==== Verification and Validation ====
+  * [[codesnippets:verificationandvalidation|Verification and Validation Plan]]
 ===== Modules, packages, and libraries =====
@@ Line 123: / Line 141: @@
 ==== Advanced ====
-  * [[http://dev.stephendiehl.com/hask/|What I Wish I Knew When Learning Haskell]]
+  * [[https://smunix.github.io/dev.stephendiehl.com/hask/tutorial.pdf|What I Wish I Knew When Learning Haskell]]
 ==== Supplementary ====
@@ Line 138: / Line 156: @@
     * Applicative functors
     * Monads
+    * ...
+  * [[https://www.youtube.com/channel/UC3xdLFFsqG701QAyGJIPT1g/videos|Philipp Hagenlocher on YouTube]], at least 43 lectures about:
+    * Haskell basics topics, like types, let and where
+    * Haskell intermediate topics, like folds
+    * Haskell advance topics, like monad transformers
   * [[https://www.youtube.com/watch?v=iSmkqocn0oQ|Simon Peyton Jones - Haskell is useless]]
     * I love this video!
@@ Line 152: / Line 175: @@
   * [[legal:license|License]]
+===== ✎ =====
+~~DISCUSSION~~