pstiasny/unicode-syntax-vectors.hs

## unicode-syntax-vectors.hs
{-# LANGUAGE UnicodeSyntax #-}

type ℝ = Float
data ℝ³ = ℝ³ !ℝ !ℝ !ℝ deriving (Show)

(⋅) ∷ ℝ³ → ℝ³ → ℝ
(ℝ³ x1 x2 x3) ⋅ (ℝ³ y1 y2 y3) = x1 * y1 + x2 * y2 + x3 * y3

main =
  let x = ℝ³ 2 0 1
      y = ℝ³ 6 0 0
  in  print $ x ⋅ y
	{-# LANGUAGE UnicodeSyntax #-}

	type ℝ = Float
	data ℝ³ = ℝ³ !ℝ !ℝ !ℝ deriving (Show)

	(⋅) ∷ ℝ³ → ℝ³ → ℝ
	(ℝ³ x1 x2 x3) ⋅ (ℝ³ y1 y2 y3) = x1 * y1 + x2 * y2 + x3 * y3

	main =
	let x = ℝ³ 2 0 1
	y = ℝ³ 6 0 0
	in print $ x ⋅ y