a10616f · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

Examples and TODO

commita10616f6efa9ac3f10a8b0989c2690da2f31ba26 authorPhil Freeman <paf31@cantab.net> dateWed 2 Oct 2013, 18:28 (13 years ago) parent78f85b3

3 files changed+56

compare with golang

unifiedsplit

README.md+22 examples/List.ps+24 examples/Maybe.ps+10

README.md+22

@@ -2,3 +2,25 @@ purescript

22==========

44A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks

6+## Current Features

8+- Support for basic Javascript types

9+- Extensible records

10+- Type-safe blocks with for/while/assignment etc.

11+- Functions with multiple arguments

12+- Pattern matching, object patterns

13+

14+## TODO

15+

16+- Array indexing

17+- Type Synonyms

18+- Better code generation, fewer parens

19+- User defined operators

20+- Mutually recursive functions

21+- Modules

22+- FFI

23+- Top level pattern matching

24+- Pattern matching booleans

25+- Guards

26+- Type classes

examples/List.psnew file+24

@@ -0,0 +1,24 @@

1+data List a

2+ = Nil

3+ | Cons

4+ { head :: a

5+ ; tail :: List a

6+ ; {} }

8+null = \l -> case l of

9+ { Nil -> true

10+ ; _ -> false

11+ }

12+

13+concat = \l1 -> \l2 -> case l1 of

14+ { Nil -> l2

15+ ; Cons x -> Cons(

16+ { head: x.head

17+ , tail: concat(x.tail)(l2)

18+ })

19+ }

20+

21+flatten = \xss -> case xss of

22+ { Nil -> Nil

23+ ; Cons cons -> concat(cons.head)(flatten(cons.tail))

24+ }

examples/Maybe.psnew file+10

@@ -0,0 +1,10 @@

1+data Maybe a = Nothing | Just a

3+maybe = \b -> \f -> \m -> case m of

4+ { Nothing -> b

5+ ; Just a -> f(a)

6+ }

8+fmap = \m -> \f -> maybe(Nothing)(\a -> Just(f(a)))(m)

10+bind = \m -> \f -> maybe(Nothing)(f)(m)