v2: high order functions

vlib/builtin/array.v

@@ -449,7 +449,6 @@ pub fn (a []char) index(v char) int {
 	return -1
 }
 
-/*
 // []int.reduce executes a given reducer function on each element of the array,
 // resulting in a single output value.
 pub fn (a []int) reduce(iter fn(accum, curr int)int, accum_start int) int {
@@ -461,6 +460,7 @@ pub fn (a []int) reduce(iter fn(accum, curr int)int, accum_start int) int {
 	return _accum
 }
 
+/*
 // array_eq<T> checks if two arrays contain all the same elements in the same order.
 // []int == []int (also for: i64, f32, f64, byte, string)
 fn array_eq<T>(a1, a2 []T) bool {

vlib/v/parser/fn.v

@@ -92,7 +92,6 @@ fn (p mut Parser) fn_decl() ast.FnDecl {
 		p.check(.gt)
 	}
 	// println('fn decl $name')
-	p.check(.lpar)
 	// Args
 	mut args := []table.Var
 	ast_args,is_variadic := p.fn_args()
@@ -122,7 +121,7 @@ fn (p mut Parser) fn_decl() ast.FnDecl {
 				*/
 	// Return type
 	mut typ := table.void_type
-	if p.tok.kind in [.name, .lpar, .amp, .lsbr, .question] {
+	if p.tok.kind.is_start_of_type() {
 		typ = p.parse_type()
 	}
 	p.return_type = typ
@@ -165,6 +164,7 @@ fn (p mut Parser) fn_decl() ast.FnDecl {
 }
 
 fn (p mut Parser) fn_args() ([]ast.Arg,bool) {
+	p.check(.lpar)
 	mut args := []ast.Arg
 	mut is_variadic := false
 	// `int, int, string` (no names, just types)

vlib/v/parser/parse_type.v

@@ -67,8 +67,13 @@ pub fn (p mut Parser) parse_multi_return_type() table.Type {
 }
 
 pub fn (p mut Parser) parse_fn_type() table.Type {
-	// p.check(.key_fn)
+	p.warn('parrse fn')
-	p.fn_decl()
+	p.check(.key_fn)
+	// p.fn_decl()
+	p.fn_args()
+	if p.tok.kind.is_start_of_type() {
+		p.parse_type()
+	}
 	return table.int_type
 }
 

vlib/v/parser/parser.v

@@ -1104,6 +1104,10 @@ fn (p mut Parser) module_decl() ast.Module {
 
 fn (p mut Parser) parse_import() ast.Import {
 	mod_name := p.check_name()
+	if p.tok.kind == .dot {
+		p.next()
+		p.check_name()
+	}
 	mut mod_alias := mod_name
 	if p.tok.kind == .key_as {
 		p.check(.key_as)

vlib/v/token/token.v

@@ -463,6 +463,10 @@ pub fn (tok Kind) is_relational() bool {
 	.lt, .le, .gt, .ge, .eq, .ne]
 }
 
+pub fn (k Kind) is_start_of_type() bool {
+	return k in [.name, .lpar, .amp, .lsbr, .question]
+}
+
 pub fn (kind Kind) is_infix() bool {
 	return kind in [.plus, .minus, .mod, .mul, .div, .eq, .ne, .gt, .lt, .key_in,
 	//