From 5300c253a6160771ca0357670fd8801df0f68b70 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Sun, 12 Jan 2025 10:27:53 +0900 Subject: [PATCH] [obsidian] vault backup: 2025-01-12 10:27:53[ --- content/Haskell.md | 4 ++++ content/Spinless Tagless G Machine.md | 11 +++++++++++ content/一意型.md | 5 ++--- content/忍び寄る機能主義.md | 9 +++++++++ ...数型プログラミング言語と微分方程式ソルバ.md | 19 +++++++++++++++++++ 5 files changed, 45 insertions(+), 3 deletions(-) create mode 100644 content/Haskell.md create mode 100644 content/Spinless Tagless G Machine.md create mode 100644 content/忍び寄る機能主義.md create mode 100644 content/関数型プログラミング言語と微分方程式ソルバ.md diff --git a/content/Haskell.md b/content/Haskell.md new file mode 100644 index 00000000..91de6f2d --- /dev/null +++ b/content/Haskell.md @@ -0,0 +1,4 @@ +--- +date: 2025-01-12 10:08 +--- +#programming-language #stub diff --git a/content/Spinless Tagless G Machine.md b/content/Spinless Tagless G Machine.md new file mode 100644 index 00000000..3ed94097 --- /dev/null +++ b/content/Spinless Tagless G Machine.md @@ -0,0 +1,11 @@ +--- +date: 2025-01-12 10:08 +--- + +#programming-language + +[The Spineless Tagless G Machine – Tom's Blog](https://www.theshortlog.com/posts/spineless-tagless-g/) + +[[Haskell]]の中間表現の1つ（C--の1個手前）。 + +[[遅延評価]]に適した仕組み diff --git a/content/一意型.md b/content/一意型.md index faee86a4..3e36e6fe 100644 --- a/content/一意型.md +++ b/content/一意型.md @@ -5,10 +5,9 @@ date: 2025-01-12 09:13 変数やリソースが一度だけ使用されることをコンパイル時に確定できる仕組み。 - - -[[Clean]]や[[Idris]]などで使用される（[[Rust]]のムーブセマンティクスも基本はこれだと思う）。 +[[Clean]]や[[Idris]]などで使用される（[[Rust]]のムーブセマンティクスも基本はこれ）。 [Uniqueness Types — Idris 1.3.3 documentation](https://docs.idris-lang.org/en/latest/reference/uniqueness-types.html) +1回だけから任意のn回だけ使用できる、にすると[[線形型]]（Linear Type/Affine Type）になる diff --git a/content/忍び寄る機能主義.md b/content/忍び寄る機能主義.md new file mode 100644 index 00000000..5ce454ff --- /dev/null +++ b/content/忍び寄る機能主義.md @@ -0,0 +1,9 @@ +--- +date: 2025-01-12 09:38 +--- +#notion + + +気づいたらパッチワーク的に機能が増えまくって中途半端になっていくこと + +[creeping featurism](http://www.catb.org/jargon/html/C/creeping-featurism.html) \ No newline at end of file diff --git a/content/関数型プログラミング言語と微分方程式ソルバ.md b/content/関数型プログラミング言語と微分方程式ソルバ.md new file mode 100644 index 00000000..0b96331f --- /dev/null +++ b/content/関数型プログラミング言語と微分方程式ソルバ.md @@ -0,0 +1,19 @@ +--- +date: 2025-01-12 09:47 +--- + +#idea #memo + +[冬のプログラミングシンポジウム2024](https://prosym.org/66/program.html)でもらったコメントの1つで考えたこと + +[[mimium]]では`self`を使うと、ランタイム上の1サンプル前の計算結果を取得できるのだった + +`self`を、アナログコンピューティング（電子回路）におけるDelay-freeなフィードバックとして表現することはできるだろうか？ + + +[[Veryl]]とかの高レベルなHDLのアナログ回路版みたいな感じで + +量子アニーリングのシミュレーターとかにも使えるのでは、という話だった + + +