mers's Introduction

mers

"Hello, World!".println

Hello, World!

my_var := "Hello, Variable!"
my_var.println

Hello, Variable!

(1, 2, 3, 4).sum.println

10

(1, "2", 3, 4).sum.println

(1, 2, 3, 4).as_list.debug

List<Int> :: [1, 2, 3, 4]

(1.0, 2.0).as_list.debug

List<Float> :: [1, 2]

(1, 2, 3.5).as_list.debug

List<Int/Float> :: [1, 2, 3.5]

int_list := (1, 2, 3).as_list
float_list := (4.5, 6.0).as_list
int_list.chain(float_list).as_list.debug

List<Int/Float> :: [1, 2, 3, 4.5, 6]

mers's People

Contributors

Stargazers

Watchers

mers's Issues

custom types/errors

func := path -> {
  // read the file, parse its contents as (json/xml/...),
  // or return an error if the file is invalid
  "invalid file contents!" // <- this is just a string, not an error
}

Also types would be convenient to give names to big data structures since stacked tuples are hard to read

destructuring assignments ignore references on tuples

As expected, destructuring a tuple of references gives two references:

x := 10
y := 12
[a, b] := [&x, &y]
a.debug() // &int
b.debug() // &int

However, destructuring the reference to a tuple does not:

x := 10
y := 12
z := [x, y]
[a, b] := &z
a.debug() // int :: &int :: &10
b.debug() // int :: &int :: &12

The type checker seems to miss the reference entirely, even though it works as expected at runtime.

1.{f} should be parsed as 1.f instead of 1.0, f

see

# this is unintuitive
mers pretty-print arg 'f := a -> b -> (a, b).sum, 2.{1.f}.debug'
# this works
mers pretty-print arg 'f := a -> b -> (a, b).sum, 2 .{1.f}.debug'

Recommend Projects