aboutsummaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
authors-over-42023-06-05 13:19:49 -0400
committers-over-42023-06-05 13:19:49 -0400
commitabae0069eb6d657aec6d66b9801b937c159e0dc8 (patch)
tree4e7e2712d05cb1e612ff433937b6f5bf596cdd49 /examples
parent8b008c1c2773ac80df36f7a49dcb9c2c451cd258 (diff)
eggs
Diffstat (limited to 'examples')
-rw-r--r--examples/functional.halk2
-rw-r--r--examples/hello.halk32
-rw-r--r--examples/simple.halk2
3 files changed, 19 insertions, 17 deletions
diff --git a/examples/functional.halk b/examples/functional.halk
index e22fab5..a167b69 100644
--- a/examples/functional.halk
+++ b/examples/functional.halk
@@ -1,5 +1,5 @@
` the Y-Combinator in HALK `
-` an empty : when not proceeded by a type is shorthand for any: `
+` an empty : when not proceeded by a type is shorthand for :any `
:Y = {
diff --git a/examples/hello.halk b/examples/hello.halk
index 7ec14b8..5ff4a0b 100644
--- a/examples/hello.halk
+++ b/examples/hello.halk
@@ -1,32 +1,34 @@
` comments in backticks `
` preprocessor directives `
-#MACRO##PI##3.14159#
-#IFNDEF##HELLO#
- #DEF##HELLO#
+#!PI# #3.14159# ` define macros with #!<name># #<value># `
+#IFNDEF# #HELLO# ` predefined macros are: IF, AND, OR, NOT, ELIF, ELSE, FI, INCLUDE `
+ #HELLO# ` HELLO defined `
#ENDIF#
+
+#INCLUDE# #io# ` include the 'io' header `
+
` source code begins here `
-str:hello = 'hello, '; ` variables must be given a value at declaration `
+:str:hello = 'hello, ';
-void:greeting. str:to = { ` functions declared the same way as variables, but with a . after
+:void:greeting. :str:to = { ` functions declared the same way as variables, but with a . after
the name, followed by arguments `
- str:message = strcat.hello, to; ` function application is right-associative `
+ :str:message = strcat.hello, to; ` function application is right-associative `
- stdo.message; ` since 'io' was brought into global scope, we
- do not prefix it with a namespace/ `
+ io/stdo.message; ` navigate namespaces with a '/' `
}
-int:sum_all. int[]:_ = { ` variadic functions are possible with the reserved '_' argument,
+:int:sum_all. :int[]:_ = { ` variadic functions are possible with the reserved '_' argument,
which is treated as an array `
return.foldl.sum, 0, _;
}
-namespace:new_namespace = { ` create a new namespace `
- int:value = 1;
+:namespace:new_namespace = { ` create a new namespace `
+ :int:value = 1;
- int:sum_all. int[]:_ = {
+ :int:sum_all. :int[]:_ = {
return.foldl.sum,0,_;
}
}
@@ -36,7 +38,7 @@ check_expect.
(sum_all. 1, 2, 3, 4),
(new_namespace/sum_all. 1, 2, 3, 4);
-int:fibonacci. int:n = {
+:int:fibonacci. :int:n = {
if.(eq.n, 0), {
return.1;
}, {
@@ -46,8 +48,8 @@ int:fibonacci. int:n = {
}
}
-int:main. str[]:args = { ` where code will begin executing `
- greeting.'world.'; ` returns 'hello, world.' `
+:int:main. :str[]:args = { ` where code will begin executing `
+ greeting.'world.'; ` prints 'hello, world.' `
return.0;
}
diff --git a/examples/simple.halk b/examples/simple.halk
index 391147b..8a3de60 100644
--- a/examples/simple.halk
+++ b/examples/simple.halk
@@ -1 +1 @@
-str:variable = 'Hi.';
+:str:variable = 'Hi.';