Differences

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

--- codesnippets:firsthaskellprogram [2021/04/13 21:02] – f2b216
+++ codesnippets:firsthaskellprogram [2025/10/08 00:48] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
 ====== First Haskell programs ======
-~~DISCUSSION~~
   * main function with output, as a complete code example
@@ Line 46: / Line 45: @@
   * ''IO ()'' is just a type signature with the resulting type ''IO ()'', and no parameters
-  * see the following example to explan:
+  * see the following code as examples for different type signatures:
     * <code Haskell>
 main :: IO ()
@@ Line 66: / Line 65: @@
       * result type: ''IO ()'', no parameter
     * ''String -> IO ()''
-      * result type: ''IO ()'', type of parameter ''String''
+      * result type: ''IO ()'', type of parameter: ''String''
     * ''String''
       * result type: ''String''
     * ''Int -> Char -> String''
-      * result type: ''String'', type of first parameter ''Int'', type of second parameter ''String''
+      * result type: ''String'', type of first parameter: ''Int'', type of second parameter: ''String''
   * NOTE:
     * Types start always with upper case letters.
@@ Line 82: / Line 81: @@
 ==== second line declares that function ''main'' equals to ''print 'x''' ====
-  * expression '' main = print 'x' '' is called a [[codesnippets:binding|binding]]
+  * expression '' main = print 'x' '' is called a [[codesnippets:bindingandpatternmatching|binding]]
     * it binds ''print 'x' '' to function ''main''
     * when function ''main'' evaluates it evaluates ''print'' with parameter '''x' ''
-  * expression ''sResult = fun 5 'a' '' is just another [[codesnippets:binding|binding]]
+  * expression ''sResult = fun 5 'a' '' is just another [[codesnippets:bindingandpatternmatching|binding]]
     * it binds ''fun 5 'a' '' to function ''sResult''
     * when function ''sResult'' evaluates it evaluates ''fun'' with parameter ''5'' and '''a' ''
@@ Line 91: / Line 90: @@
 ==== default package is Prelude ====
-  * ''[[codesnippets:prelude|Prelude]]'' is part of library ''base'' ([[codesnippets:prelude|Prelude]], [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html|Prelude]])
+  * ''[[codesnippets:prelude|Prelude]]'' is part of library ''base'' ([[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html|Prelude]])
   * package ''[[codesnippets:prelude|Prelude]]'' includes standard modules (e.g. module System.IO)
   * enables basic elements like functions, types, type classes, and instances
@@ Line 97: / Line 96: @@
     * see also [[codesnippets:avoidconflictprelude|Avoiding name conflict with Prelude]]
+===== ✎ =====
+~~DISCUSSION~~