1
2
3
4
5
6
7
8
import Control.Applicative
import Control.Monad
 
x = [ "religious", "irreligious" ]
y = [ "gnostic", "agnostic" ]
z = [ "theist", "atheist" ]
 
validPositions = (\a b c -> show a ++ " " ++ show b ++ " " ++ show c) <$> x <*> y <*> z
 ...

1
2
3
4
5
6
7
8
import Control.Applicative
import Control.Monad
 
x = [ "religious", "irreligious" ]
y = [ "gnostic", "agnostic" ]
z = [ "theist", "atheist" ]
 
validPositions = (\a b c -> show a ++ " " ++ show b ++ " " ++ show c) <$> x <*> y <*> z
 ...

1
2
3
4
5
6
7
8
import Control.Applicative
import Control.Monad
 
x = [ "religious", "irreligious" ]
y = [ "gnostic", "agnostic" ]
z = [ "theist", "atheist" ]
 
validPositions = (\a b c -> show a + " " + show b + " " + show c) <$> x <*> y <*> z
 ...

1
2
3
4
5
6
7
8
import Control.Applicative
import Control.Monad
 
x = [ "religious", "irreligious" ]
y = [ "gnostic", "agnostic" ]
z = [ "theist", "atheist" ]
 
validPositions = (\a b c -> show a + " " + show b + " " + show c) <$> x <*> y <*> z
 ...

1
countOfElem elem = length . filter (==elem)

1
2
x = [1,4..100]
 

1
2
3
doubleMe x = x + x
 
show(doubleMe 4)

1
2
3
4
5
6
7
8
9
import Data.Typeable
 
getStaticType :: Typeable a => a -> String
getStaticType = show . typeOf
 
main = do
   putStr(getStaticType(x))
   where
     x = 42 deriving (Typeable)

1
2
3
4
5
6
7
8
9
import Data.Typeable
 
getStaticType :: Typeable a => a -> String
getStaticType = show . typeOf
 
main = do
   putStr(getStaticType(x))
   where
     x = 42 deriving Typeable

1
2
3
4
5
6
7
8
9
import Data.Typeable
 
getStaticType :: Typeable a => a -> String
getStaticType = show . typeOf
 
main = do
   putStr(getStaticType(x))
   where
     x = 42

1
2
3
4
5
6
7
8
import Data.Typeable
 
getStaticType :: Typeable a => a -> String
getStaticType = show . typeOf
 
main = do
   x = 421
   putStr(getStaticType(x))

1
2
3
4
5
6
7
import Data.Typeable
 
getStaticType :: Typeable a => a -> String
getStaticType = show . typeOf
 
main = do
   putStr(getStaticType(map))

1
2
3
4
5
6
7
8
import Data.Typeable
 
getStaticType :: Typeable a => a -> String
getStaticType = show . typeOf
 
import Data.Typeable
main = do
   putStr(getStaticType(map))

1
096*3+2*86*2*1+0^4+0^3-822**85*3*1+55*4*0^0^1+3^5-P01^:8*g

1
2
3
import Data.Typeable
main = do
   putStr(tyConString(typeRepTyCon(typeOf(map))))

1
2
3
4
import Data.Typeable
main = do
   let x = 42
   putStr(tyConString(typeRepTyCon(typeOf1(map))))

1
2
3
4
import Data.Typeable
main = do
   let x = 42
   putStr(tyConString(typeRepTyCon(typeOf1(42))))

1
2
3
4
import Data.Typeable
main = do
   let x = 42
   putStr(tyConString(typeRepTyCon(typeOf(42))))

1
2
3
4
import Data.Typeable
main = do
   let x = 42
   putStr(tyConString(typeRepTyCon(typeOf(x))))

1
2
3
4
import Data.Typeable
main = do
   let x = 42
   putStr(tyConString(typeOf(x)))

1
2
3
4
import Data.Typeable
main = do
   let x = 42
   putStr(showsTypeRep(typeOf(x)))

1
2
3
4
import Data.Typeable
main = do
   let x = 42
   putStr(showsTypeRep typeOf x)

1
2
3
4
import Data.Typeable
main = do
   let x = 42
   putStr(typeOf x)

1
2
3
4
import Data.Typeable
main = do
   let x = 42
   putStr(show(typeOf x))

1
2
3
main = do
   let x = 42
   putStr(show(typeOf x))

1
2
3
4
main = do
   let x = 42
   putStr(show(typeOf x))
:type x

1
2
3
4
main = do
   let x = 42
   putStr(show(x))
:type x

1
2
3
4
main = do
   let x = 42
   putStr(show( :type x))
:type x

1
2
3
main = do
   let x = 42
   putStr(show( :type x))

1
2
3
main = do
   let x = 42
   putStr(show( :type \ f -> map f "Text" == [1,2,3]))