trifon@slender:~/fmisync/Courses/2022_23/FP_2022_23/sandbox/haskell$ ghci
GHCi, version 9.0.2: https://www.haskell.org/ghc/  :? for help
ghci> :l Basics.hs
[1 of 1] Compiling Main             ( Basics.hs, interpreted )
Ok, one module loaded.
ghci> x
2
ghci> 
Leaving GHCi.
trifon@slender:~/fmisync/Courses/2022_23/FP_2022_23/sandbox/haskell$ ghci
GHCi, version 9.0.2: https://www.haskell.org/ghc/  :? for help
ghci> :l Basics.hs
[1 of 1] Compiling Basics           ( Basics.hs, interpreted )
Ok, one module loaded.
ghci> :t x
x :: Int
ghci> :t y
y :: Double
ghci> :t z
z :: String
ghci> :t (+)
(+) :: Num a => a -> a -> a
ghci> :t (^)
(^) :: (Integral b, Num a) => a -> b -> a
ghci> :t (^^)
(^^) :: (Fractional a, Integral b) => a -> b -> a
ghci> :t (**)
(**) :: Floating a => a -> a -> a
ghci> 
 *  History restored 

trifon@slender:~/fmisync/Courses/2022_23/FP_2022_23/fp-2022-23/lectures/haskell$ ghci
GHCi, version 9.0.2: https://www.haskell.org/ghc/  :? for help
ghci> x = 2
ghci> let x = 2
ghci> x
2
ghci> let x = 2 in

<interactive>:4:13: error:
    parse error (possibly incorrect indentation or mismatched brackets)
ghci> 
ghci> 

^C^C^C
^C

trifon@slender:~/fmisync/Courses/2022_23/FP_2022_23/fp-2022-23/lectures/haskell$ 
trifon@slender:~/fmisync/Courses/2022_23/FP_2022_23/fp-2022-23/lectures/haskell$ killall ghci
ghci: no process found
trifon@slender:~/fmisync/Courses/2022_23/FP_2022_23/fp-2022-23/lectures/haskell$ 
 *  History restored 

trifon@slender:~/fmisync/Courses/2022_23/FP_2022_23/fp-2022-23/lectures/haskell$ ghci
GHCi, version 9.0.2: https://www.haskell.org/ghc/  :? for help
ghci> type Point = (Double, Double)
 *  History restored 

trifon@slender:~/fmisync/Courses/2022_23/FP_2022_23/fp-2022-23/lectures/haskell$ 
 *  History restored 

trifon@slender:~/fmisync/Courses/2022_23/FP_2022_23/fp-2022-23/lectures/haskell$ ghci
GHCi, version 9.0.2: https://www.haskell.org/ghc/  :? for help
ghci> (,) 1 2
(1,2)
ghci> f x = f x
ghci> f 0
^CInterrupted.
ghci> 
ghci> (,) (f 0) 5
(^CInterrupted.
ghci> (:) (f 0) []
[^CInterrupted.
ghci> snd ((,) (f 0) 5)
5
ghci> length ((:) (f 0) [])
1
ghci> drop (f 0) []
^CInterrupted.
ghci> filter (f 0) []
[]
ghci> map (f 0) []
[]
ghci> zip [1,2,3] [4,5,6,f 0]
[(1,4),(2,5),(3,6)]
ghci> length (zip [f 0, f 0, f 0] [f 0, f 0, f 0])
3
ghci>