Grass【ちょっと草植えときますね型言語】
■ このスレッドは過去ログ倉庫に格納されています
0001芝生の上の名無しさん
2008/08/23(土) 13:37:40http://www.blue.sky.or.jp/grass/
日本語サイト
http://www.blue.sky.or.jp/grass/doc_ja.html
0002デフォルトの名無しさん
2008/08/23(土) 14:53:140003デフォルトの名無しさん
2008/08/23(土) 22:06:430004デフォルトの名無しさん
2008/08/24(日) 13:02:31_ _
/;;;;;;;;;;;;`Y´;;;;;;;;\
/;;;;;;;;;;;;;;;;;;;;;;l;;;;;;;;;;;;;;;;;;',
l;;;;;r'´ ̄ ̄~  ̄ ̄ヽ;;;;;!
|;;;;;;| |;;;;;|
{;;;;r',;;'"゙`、 .,,;-ー、 ',:;}
rゝl!. (●)│l (●), :l;jヽ
〉),| . ノ ヽ :!ノ/
ゝ_.l ゝ- ' ,jノ
l、 ___, /! __ ☆
lヽ ー‐' ,/ ! | |"
/!、`ー─‐'" /ヽ r~) // :|ワ
ノ |__|ワ
0005デフォルトの名無しさん
2008/08/26(火) 17:36:360006デフォルトの名無しさん
2008/08/28(木) 19:50:45こういうゴミ言語が楽しめるようになりたい
0007デフォルトの名無しさん
2008/08/28(木) 21:20:260008デフォルトの名無しさん
2008/08/28(木) 21:56:40こういうの作るのはいい演習問題だと思う
0009デフォルトの名無しさん
2008/08/29(金) 21:48:100010デフォルトの名無しさん
2008/08/31(日) 21:09:27これからマシン語になっていくんだな。
0011デフォルトの名無しさん
2008/09/05(金) 22:59:28wwww、',、'',,',、',,',,、',,、',,',,、、',wWwwWwwwWw
,,,,,,,、',、、','、',、',,',,,、',,',,,、',,',,、ミ ,、,'ミwミwwwwwwWw
、',、',,,、',',、',,,,,,,,,,,,,,,,,,,,,彡,,\,',ヽ,,|ゝ, ',wミwWwwwww
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,((,,',,、',ヽ,,)ノ,',/ゝ))wWwww
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ',/⌒(゚д゚)ノ─,',wwwwWww うりゃー!
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,((、',',/,、',(,、',,ヽ、',´ノノWwwwww
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,ミ、/、', ',,_|,, ',,,,,,\彡wwwWwwww
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,彡,,`彡wwWwwwWww
wwwWwwwWwwwwWwwwwwWwwwWwww
WwwwWwWwwwWwwwwwWwwwwWwwwWww
0012デフォルトの名無しさん
2008/09/08(月) 09:17:36GrassからBFへのトランスレータらしい
0013デフォルトの名無しさん
2008/09/11(木) 00:50:160014デフォルトの名無しさん
2008/09/17(水) 18:18:09catプログラム
0015デフォルトの名無しさん
2008/09/17(水) 20:20:18ttp://codepad.org/iPSQbPVQ
0016デフォルトの名無しさん
2008/09/18(木) 00:12:310017デフォルトの名無しさん
2008/09/18(木) 00:25:33>>15は割り算を避けるために十の位と一の位を別々に管理してる
大きい数を扱うなら、どうせチャーチ数では遅すぎるから、内部でも十進で保持するのが楽だと思う
0018デフォルトの名無しさん
2008/09/19(金) 08:21:50「church false: λx.λy.y」
SML版:
val churchFalse = FN([Abs(1, nil)], nil)
Java版:
Code fCode = new Code();
fCode.add(new Abs(1, new Code()));
Env fEnv = new Env();
FALSE = new CE(fCode, fEnv);
Mosh版:
(define church-false (cons (make-abs 1 '()) '()))
他のマニアックな言語での実装はよく読んでない。
0019デフォルトの名無しさん
2008/09/19(金) 09:07:45少なくともSML版とJava版は間違ってないように見えるけど
0020デフォルトの名無しさん
2008/09/20(土) 10:49:10Abs(1, [Abs(1, [Abs(1, nil), App(1, 3)])])
curchFalseは
Abs(1, [Abs(1, [Abs(1, nil), App(1, 3)])])
となるのが自然と思ったんだけど、なにか勘違いしてる?
0021デフォルトの名無しさん
2008/09/20(土) 11:44:41まずchurchFalseは
Abs(1, [Abs(1, [Abs(1, nil), App(1, 2)])])
の間違いだよな
それから、churchTrueとchurchFalseはinsnじゃなくてvalueだから、一番外側のAbsを
FNに直さないといけない
で、定義はそれで正しいんだけど、正しい書き方は一つじゃない
元ソースは別の、等価な書き方をしてるだけだと思う
具体的には、trueは
(λx.λy.λz.xy)id
と書けるし、falseは
λx.id
と書ける
idはλx.xのことね
0022sage
2009/01/29(木) 08:53:14つ ttp://www.nicovideo.jp/watch/sm4505298
0023デフォルトの名無しさん
2009/01/30(金) 19:03:17VIPプログラミングスレまとめwWw
0024デフォルトの名無しさん
2009/02/07(土) 21:34:35そんな文法ない?
0025デフォルトの名無しさん
2009/02/07(土) 21:36:480026デフォルトの名無しさん
2009/02/07(土) 22:05:290027デフォルトの名無しさん
2009/02/08(日) 21:00:360028デフォルトの名無しさん
2009/02/09(月) 12:20:490029デフォルトの名無しさん
2009/02/09(月) 13:22:11俺のアセンブラはuUfに置換してるけど、情報を失いたくなければまじめにエスケープすればいいんじゃね
0030デフォルトの名無しさん
2009/02/27(金) 11:46:431.書き込みウィンドウを出し半角入力に切り替える
2.Wキーを押しっぱなしにする
3.Wキを押しっぱなしにしながらsageのチェックするところをおもむろにクリック
0031デフォルトの名無しさん
2009/02/28(土) 10:12:240032デフォルトの名無しさん
2009/03/05(木) 11:10:250033デフォルトの名無しさん
2009/03/05(木) 11:20:37「書き込み(W)」ボタンがWを拾うようになるワケか。
なるほど、ちょっと上手い
…が、迷惑な話だ。
0034デフォルトの名無しさん
2009/03/06(金) 00:47:220035デフォルトの名無しさん
2009/03/06(金) 04:22:210036デフォルトの名無しさん
2009/03/16(月) 17:14:220037デフォルトの名無しさん
2009/03/16(月) 17:19:160038デフォルトの名無しさん
2009/03/18(水) 20:11:040039デフォルトの名無しさん
2009/03/23(月) 17:04:320040デフォルトの名無しさん
2009/03/26(木) 21:48:30■ このスレッドは過去ログ倉庫に格納されています