What are @
and =>
?
What is fixity? Is this the same as precedence?
foo :: [a] -- in haskell would be
foo :: forall a. Array a -- in purescript, i think?
-- there's no [] in annotations, it's always Array a
-- but there is List, but you have to use Data.List instead of just []
Number -- is js number
Int -- is 32 bit -- and it's basically n | 0 (?)
Unit -- ()
main :: IO () -- would be
main :: Eff -- basically, but really more something like
main :: Eff (process :: PROCESS, fs :: FS) Unit -- or something
a <> b -- a ++ b -- concat a b
A <= B -- B implies instance of A
something like this is kind of right i think (what builds on what): i
monad
applicative ??
apply bind
functor
No tuples, just records. But there's a lib for tuples.
<<<
is .
for rtl composition, and >>>
for ltr
Lots of Data.List
stuff is in Data.Foldable
and Data.Traversable
instead.
To export stuff: module Foo (a, b, c) where
.
That's like export { a, b, c }
in JS, I think.
module Foo (..)
exports everything, I think.