Differences

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

--- start [2024/04/22 13:04] – [Opinionated] f2b216
+++ start [2025/10/08 00:44] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-~~DISCUSSION~~
 ====== HaskSheet ======
@@ Line 57: / Line 56: @@
   * [[codesnippets:hint|Interpreted Haskell code by package hint]]
-==== Opinionated ====
+==== Safety ====
-Some times it is good to understand what the community understands by good and evil. :-)
+Proposed properties of safety by using ''{-# LANGUAGE Safe #-}'':
+  * type safety
-  * Bad and evil
+  * referential transparency,
-    * [[https://stackoverflow.com/a/10849782|morally "good" and "bad" ones]]
+  * strict module encapsulation
-      * Unordered List Item Stackoverflow answer by Don Steward: >An ad hoc list of morally "good" extensions, and morally "bad" ones...<
+  * modular reasoning
-    * [[https://wiki.haskell.org/Safe_Haskell|Safe Haskell]]
+  * semantic consistency
-      * about usage of usage of <code> {-# LANGUAGE Safe #-} </code>
+  * See also [[https://wiki.haskell.org/Safe_Haskell|Safe Haskell]]
 ==== Use case examples ====
@@ Line 176: / Line 175: @@
   * [[legal:license|License]]
+===== ✎ =====
+~~DISCUSSION~~