ゆきくらげଳ @yukikurage@fedibird.com

@termoshtt
最近学校で反復補題やったの使いたかっただけです

@termoshtt

単純化して L を
3|123, 2|15 など n|(n文字の列)
の集合とする

L を文脈自由とすると
反復補題から定まる反復長 p がある

ここで
w = 100...0 (p個) | 00...0 (10^p 個)
とすると |w| >= p なので、ある分割

w = uvxyz

があって
※1 |vxy| <= p
※2 任意の i に対し uv^ixy^iz in L
が成り立つ

vxy が | を跨がないと、※2 を考えたとき | の左辺か右辺のどちらかが一方的に大きくなり ※2 を満たさないので、vxy は | を跨ぐ

| in x でないと、※2を考えたときに | が増えるので | in x

したがって
v = 00...0 (m 個)
y = 00...0 (n 個)

ここで
uv^2xy^2z = 100...0 (p + m個) | 00...0 (10^p + n 個)

※2 から uv^2xy^2z in L なので

10^(p + m) = 10^p + n

が満たされる、明らかに n は 10^p の倍数であるが、これは ※1 |vxy| <= p を満たさない

ゆえに L は文脈自由ではない
ですかね

@termoshtt

一応文脈自由文法で表せないことの証明とか試してみます

@termoshtt

数値リテラルを解釈するのはパースしてからの仕事みたいな気がしますね…（門外漢）

今気づいたけど、スタンプリアクションって 1 つなのか

#自炊

久々の自炊

飯食うのでバおわ

現在は Signal (変化する値) しか入れていないのですが、そのうち Event も入れると思います [参照]

バイトする

課題おわ

まあその処理すべきところがわかるのがメリットなんですが

例: 計算失敗したら適当に 0 入れておけばいいや、など

実行時エラーがない、聞こえがいいように聞こえるけど適当に運用するとエラー処理すべきところでしないなどの事象が発生するので気を付けなければいけない

こっちでは言及してなかった気がするからするんですが、#purescript の UI 構築ライブラリ #jelly を開発しています

https://github.com/yukikurage/purescript-jelly

SolidJS と似た感じで React の Hooks のように書けつつも、リアクティブな値を使って状態管理するものです

じゅぎょおわ

ちなみに避けられてる感があるのソースは、この前友達に #purescript のコードを見せたらキモッと言われたことです [参照]

でも関数適用の () が無いのはカリー化に綿密にかかわってるんだよな

括弧を使うと、例えば 2 変数関数は

f(x, y)

ではなく

f(x)(y)

になってしまう

なら

f x y

の方が良いというのはそうなんだけど

例えば関数適用の () が無いとか

これはこの前 でも言ったんですが言語って見た目大事で、#haskell #purescript は見た目で避けられてる感がある

だが実践投入されないと周辺ライブラリは作られない、この矛盾がつらい