Differences

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

--- start [2022/10/11 08:50] – [Markups] f2b216
+++ start [2025/10/08 00:44] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-~~DISCUSSION~~
 ====== HaskSheet ======
@@ Line 56: / Line 55: @@
   * [[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 79: / Line 88: @@
   * [[codesnippets:equivalentfunctioncompositions|Equivalent function compositions]]
-==== Documentation and maintenance ====
+==== Conventions ====
   * [[codesnippets:codingconventions|Coding conventions]]
-==== Test ====
   * [[codesnippets:testingconventions|Testing conventions]]
@@ Line 135: / 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 169: / Line 175: @@
   * [[legal:license|License]]
+===== ✎ =====
+~~DISCUSSION~~