新しい型システムの実装途中

This commit is contained in:
Masato Imai
2022-07-25 15:58:37 +09:00
parent 24336a1cdb
commit 5fce84d8b2
7 changed files with 87 additions and 19 deletions

View File

@ -9,6 +9,14 @@ fn add(a: num, b: num) {
return a + b;
}
fn rec(a: num, b: num) {
if b > 0 {
return rec(a + 2, b - 1);
} else {
return a;
}
}
fn main() {
print("Input a: ")
let a = to_u512(read_line())
@ -16,8 +24,6 @@ fn main() {
print("Input b: ")
let b = to_u512(read_line())
println("テスト");
let enc_a = encrypt(a)
let enc_b = encrypt(b)