HaskSheet

User Tools

Site Tools

Trace: • templatehaskell • verificationandvalidation • patternmatching • equivalentfunctioncompositions • firsthaskellprogram
codesnippets:firsthaskellprogram

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
codesnippets:firsthaskellprogram [2021/04/10 19:28] – f2b216codesnippets:firsthaskellprogram [2025/10/08 00:48] (current) – external edit 127.0.0.1
Line 1: Line 1:
 ====== First Haskell programs ====== ====== First Haskell programs ======
-~~DISCUSSION~~ 
  
   * main function with output, as a complete code example   * main function with output, as a complete code example
-    * which compiles +    * compiles, error and warning free, with compiler: GHC 8.10.4, using compiler option -Wall
-    * warning free with +
-      * compiler: GHC 8.10.4 using -Wall+
     * <code Haskell>     * <code Haskell>
 main :: IO () main :: IO ()
Line 48: Line 45:
  
   * ''IO ()'' is just a type signature with the resulting type ''IO ()'', and no parameters   * ''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>     * <code Haskell>
 main :: IO () main :: IO ()
Line 68: Line 65:
       * result type: ''IO ()'', no parameter       * result type: ''IO ()'', no parameter
     * ''String -> IO ()''     * ''String -> IO ()''
-      * result type: ''IO ()'', type of parameter ''String''+      * result type: ''IO ()'', type of parameter: ''String''
     * ''String''     * ''String''
       * result type: ''String''       * result type: ''String''
     * ''Int -> Char -> 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:   * NOTE:
     * Types start always with upper case letters.     * Types start always with upper case letters.
Line 84: Line 81:
 ==== second line declares that function ''main'' equals to ''print 'x''' ==== ==== 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''     * it binds ''print 'x' '' to function ''main''
     * when function ''main'' evaluates it evaluates ''print'' with parameter '''x' ''     * 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''     * it binds ''fun 5 'a' '' to function ''sResult''
     * when function ''sResult'' evaluates it evaluates ''fun'' with parameter ''5'' and '''a' ''     * when function ''sResult'' evaluates it evaluates ''fun'' with parameter ''5'' and '''a' ''
Line 99: Line 96:
     * see also [[codesnippets:avoidconflictprelude|Avoiding name conflict with Prelude]]     * see also [[codesnippets:avoidconflictprelude|Avoiding name conflict with Prelude]]
  
 +
 +===== ✎ =====
 +~~DISCUSSION~~
  
codesnippets/firsthaskellprogram.1618075738.txt.gz · Last modified: (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC0 1.0 Universal
CC0 1.0 Universal Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki