Open nilern opened 3 years ago
(1, 2)
(1, 2).0
(:int, {:})
{foo = bar; baz}
{foo = bar; baz}.foo
{:foo : int; bar : (:)}
#foo
.foo
%Foo
Foo
'Foo bar
'%Foo bar
[|Foo : int | Bar : (:)]
(|Foo : int | Bar : (:))
[1, 2]
array int
{| a, b, c ? g : c -> b, f : a -> b |-> {|x|-> f (g x)}}
{|-> print "foo"}
foo bar baz
foo (bar, baz)
foo ()
(1, 2)
-- (unboxed) tuple(1, 2).0
-- get tuple element(:int, {:})
-- tuple type{foo = bar; baz}
-- record{foo = bar; baz}.foo
-- get record field{:foo : int; bar : (:)}
-- record type#foo
-- lens for.foo
%Foo
-- prism forFoo
polymorphic variant'Foo bar
-- review (preview in patterns)'%Foo bar
-- (p)reviewFoo
polymorphic variant[|Foo : int | Bar : (:)]
-- polymorphic variant type(|Foo : int | Bar : (:))
-- row type[1, 2]
-- arrayarray int
-- array type{| a, b, c ? g : c -> b, f : a -> b |-> {|x|-> f (g x)}}
-- function{|-> print "foo"}
-- thunkfoo bar baz
=foo (bar, baz)
-- callfoo ()
-- force thunk