From 3d5ce4da83a49866ed0959c510788ae16841f411 Mon Sep 17 00:00:00 2001 From: "Matsuura Tomoya(Windows)" Date: Thu, 7 Aug 2025 20:47:06 +0900 Subject: [PATCH] [obsidian] vault backup: 2025-08-07 20:47:05[ --- content/Erg.md | 10 +++++++++- content/Shibayama Shunsuke.md | 3 +++ 2 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 content/Shibayama Shunsuke.md diff --git a/content/Erg.md b/content/Erg.md index 953fdd16..084c84c0 100644 --- a/content/Erg.md +++ b/content/Erg.md @@ -1,7 +1,15 @@ --- date: "2024-02-06T02:00:06+0900" --- -#programming-language #stub +#programming-language + [Erg Programming Language](https://erg-lang.org/) +[[Shibayama Shunsuke]] + +[erg/README\_JA.md at main · erg-lang/erg · GitHub](https://github.com/erg-lang/erg/blob/main/README_JA.md) + +- 型システムがめちゃくちゃ高度。[[構造的部分型]]や[[篩型]]、[[依存型]]を含む高階多相など非常に強力な抽象化が使える + +- その一方で[[Python]]との連携をめちゃくちゃ強化している。 \ No newline at end of file diff --git a/content/Shibayama Shunsuke.md b/content/Shibayama Shunsuke.md new file mode 100644 index 00000000..733a82a4 --- /dev/null +++ b/content/Shibayama Shunsuke.md @@ -0,0 +1,3 @@ +#person + +[mtshiba (Shunsuke Shibayama) · GitHub](https://github.com/mtshiba) \ No newline at end of file