Sap lang
yet another configuration oriented language
name comes from Sapphire which is the birthstone of september
Language Feature
the last expr of the scope is the return value also the last expr of the file is the return value of the file
variable decl
variable is scoped
a = 10
b = 20
c = "string"
d = 'c' # TODO: number in char
comment
TODO
# single lined comment
###BEGIN
multi
lined
comment
###END
literals
10 # number
'c' # number in char literal
"string" # string
##RAW
raw string
raw string
##
# TODO
#INCLUDE "path" # also raw string
true # bool
[] # array
{a:10,b:20} # object
(){null} # closure
# fast object
a = 10
{a} # semantic: {a:a}
strong type?
YES!
type definision
type typed = (name){{name}}
tyvar = typed(name)
type enum =
| name: (name){{name}}
| aged: (name,age){{name,age}}
| full: (name,age,location){{name,age,location}}
tyvar = enum(name,age,location)
# or
tyvar = enum::full(name,age,location)
# change value
tyvar[name] = "string"
# to validate if is a variant of an enum
is({name,age,location},enum::full) # true
# why I have to write twice?
type enum =
| name: octor(name)
| aged: octor(name,age)
| full: octor(name,age,location)
# octor is short cut of object constructor
function
# auto typed
(a){a}
# typed
(a:String){a}
pre defined function
- log # more or less println
- octor
- actor
- is # try to match object enntrys with function argument name
- assert
- intersect union diff cross
- innerjoin joinon
branch
if expr:bool {
} else {
}
if
| expr:bool {}
| expr:bool {}
| expr:bool {}
else {}
looping
for a in [] {
}
for a in range 0 10{
}
function call
f = (a:number) => number {a.s}
g = (a:string) => number {a.n?}
f(10) # "10"
g("10") # 10
f.g.f.g.f.g.f(10) # 10 . is bind
id = f.g
UFC
expr as first parameter function typed output as first parameter
error handling
a = null
a # return file end as object
# so calling a.o
# {}
# another file
b = err("an error")
b
# error in line 1 b: an error
b = err("an error")? # cast error to null
b
b = if maybeerr? == null {
1
}else{
maybeerr?
}
dot sematic
a.b # a: Object b:Any => index
a.b # a: function b:function => bind
a.b() # a: not function b: function => bind first
a().b() # a: function call with less param b: function call with multiple param but less one => bind first
a.typename() # cast
function semantic
function is curried by default
Example File
url = ARGS.url.orelse("https://lemonhx.moe")
port = ARGS.url.orelse(8080)
type Request = (post_name,post_id){
{
type: "POST"
url: "{{url}}/{{post_name}}/{{post_id}}",
port,
}
};
Request("blogexample",10)
then you can use like
sap example.sap -serializer json url "https://google.com" -o stdout
{
"type":"POST",
"url":"https://google.com/blogexample/10",
"port":8080
}
sap example.sap -serializer yaml url "https://baidu.com" -o stdout
type: POST
url: 'https://google.com/blogexample/10'
port: 8080
![[BUG] Possible Memory Leakage](https://avatars.githubusercontent.com/u/40686366?v=4)
2 Nov 3, 2021
264 Dec 30, 2022
12 Aug 15, 2022
3 Nov 28, 2022
12 Aug 8, 2022
4 Jun 27, 2022
9k Jan 2, 2023
6 Mar 26, 2022
2.9k Dec 30, 2022
67 Apr 16, 2023
4 Nov 11, 2022
8.5k Dec 26, 2022
121 Dec 20, 2022
9 Nov 17, 2022
1.3k Jan 8, 2023
19 Jul 20, 2022
23 Jul 3, 2022
752 Jan 7, 2023
40 Dec 28, 2022