純粋関数型言語Cleanに関するスレッドです。
関数型には珍しくIDEと、IO,Gameライブラリが標準でついてきます。
関連リンク
本家
http://www.cs.kun.nl/~clean/
日本語ドキュメントなど
http://sky.zero.ad.jp/~zaa54437/programming/clean/
間違えちゃった、許して。
関連リンク
Sparkle
http://www.cs.kun.nl/Sparkle/
（定理証明系）
ゲームライブラリ
http://cleangl.sourceforge.net/
Gast
http://www.cs.kun.nl/~pieter/gentest/gentest.html
(自動テストシステム)
Clean要望リスト
http://www.cs.kun.nl/~clean/wish/main.html
Cleanのメーリングリストのアーカイブ（Discussions ）
http://www.cs.kun.nl/pipermail/clean-list/
Cleanのメーリングリストのアーカイブ (Announce )
http://www.cs.kun.nl/pipermail/clean-announce/
関数型プログラミング言語Haskell
http://pc2.2ch.net/test/read.cgi/tech/1013846140/
関数型言語Part3
http://pc2.2ch.net/test/read.cgi/tech/1037527388/
一意性についてはココをみてください。
ttp://sky.zero.ad.jp/~zaa54437/programming/clean/CleanBook/part1/Chap4.html#sc16
なお、Haskellと同じくモナドも使えます。
ドッチが純粋かはわかりません。
たぶん同じぐらいじゃないっすかね？
>>8
'*'を付ける〜とかの純粋さの証明って、あれで説明になってるの？
さっぱりわからねえよ
何を言っているか分からんが、
評価結果が評価順序から独立していれば、
一応は参照透明だということになってるよ。
副作用がないってのが厳密な純粋性だけどね。
例えばCSV形式のファイルがあるとして、第n列のデータを抜き出して
行ごとに出力する、みたいなコードはCleanで書くとどうなるの？
（空データは空行として出力、引用符の認識は不要）
インタフェースはこんな感じで。
csvref <n> <file> //n列目を出力する
入力データ(test.csv)
aaa,bbb,ccc
,eee,fff
ggg.hhh.iii
csvref 1 test.csv の結果
aaa
ggg
csvref 2 test.csv の結果
bbb
eee
hhh
該当箇所が分からんが。
cleanって日本語も扱えるのでしょうか？
その場合は他の関数型言語と変わらんな。
ミクロなところ(実際にどうなるのか)を聞きたいんだと思うよ。
おれはそう。IOとか。
Haskellだと
-------
module Main where
import System
import System.IO
main
= do(sn:sfn:_) <- getArgs
ss <- openFile sfn ReadMode >>= hGetContents
putStrLn $ unlines $ map ((!! (read sn - 1)) . cols) $ lines ss
cols s = case break (\c -> or (map (c ==) ",.")) s of
(w, []) -> [w]
(w, _:ws) -> w: cols ws
# Cleanスレだから張り直さないほうがいいかな。
使ってみれば分かる。
使えません
従って、表示はともかく、操作はできない。
モデレートタイプに修正中です。是非早くHaskellスレPart3
を立ち上げて下さい。それとも、このCleanスレと
目出度く合体！でも当方としては、全然問題ありません。
HakellとCleanは兄弟のようなもんですから(^^;
ttp://homepage3.nifty.com/Aransk/
ファイルの読込であれば、
こんな関数を作ればよい。
↓
Read :: File -> [Char] // ファイルから読み込んで文字リストを作る
Read f
# (b,ch,filerest) = sfreadc f
| not b = []
| otherwise = [ch : Read filerest]
要するにFile型の引数を操作すればいいだけ。
その前にsfopen関数当たりで関連付けるけどな。
せっかくリファレンスの日本語訳が出たんだから Python でもやってろ
おまいらこれをCleanに変換してくれよ
#include <stdio.h>
#define deref(x,i) *(int *)((x) + ((i)*4))
cvsref_fp(no, in, out) {
int c, column = 1;
while ((c = fgetc(in)) != EOF)
if (c == ',') ++column;
else if (c == '\n') fputc(c, out), column = 1;
else if (column == no) fputc(c, out);
}
cvsref(no, filename) {
int fp = fopen(filename, "r");
!fp ? printf("Error: File not found.\n"),exit(1) :
cvsref_fp(no, fp, stdout);
fclose(fp);
}
main(c,v) {
c != 3 ? printf("Usage: csvref <no> <filename>\n"),exit(1) :
cvsref(atoi(deref(v, 1)), deref(v, 2));
}
Cleanと一緒ならそう宣言する。
どっちか早く決めてもらいたい！
ワタクシ、
言いたいことが山のように溜まっておるのです。
キミ,恐るることなかれ。(^^;)
ttp://homepage3.nifty.com/Aransk/
自分の名前でスレッド立てれば？
少しぐらいなら相手してあげてもいいよ
ただし場所は
http://pc.2ch.net/prog/
こっちでどうぞ。
お前が立てろよ
まあ直後にネタ板と化すだろうが
あんま会話するな
module getcsv
import StdEnv,ArgEnv
Start world
= StartCSV world
StartCSV world
# (readok, read_file, f)= sfopen filename FReadText world
| not readok= abort ""
# (write_file, f)= stdio f
# (file)= CharListWrite (getCsvData col (CharListRead read_file)) write_file
# (closeok, f)= fclose file f
| not closeok= abort ""
| otherwise= f
where
col= toInt argv.[1]
filename= argv.[2]
argv=getCommandLine
つづけて宜しゅうございますか？
ここは１が密かに努力するスレだと思うぞ
続き
getCsvData :: Int [Char] -> [Char]
getCsvData num [x:xs] = getCsvData` num [x:xs]
where
getCsvData` n [x:xs]
| x == '\n' = ['\n'] ++ getCsvData` num xs
| x == ',' = getCsvData` (n-1) xs
| n == 0 = [x] ++ getCsvData` n xs
| otherwise = getCsvData` n xs
// getCsvData` 0 [x:xs] = [x] ++ getCsvData` 0 xs
getCsvData` n [] = []
CharListWrite [] f = f
CharListWrite [c:cs] f = CharListWrite cs (fwritec c f)
CharFileCopy infile outfile = CharListWrite (CharListRead infile) outfile
CharListRead f
| not readok = []
| otherwise = [char : CharListRead filepointer]
where
(readok,char,filepointer) = sfreadc f
エラー処理は考えてません。
>>37はインデントがずれているので、適当に脳内補完しといてくれ。
俺は考えなくていいみたいだな。
>>37,>>39は長すぎる。>>17並になるよう考えてくれ。
ワタクシには、決して悪気が無いことは、良くお分かりの
くせに…（少し毒気はあるが、藁藁）
まあHaskellスレが立つことを気長にお待ちしましょう。
それまでは、このスレに居座りますので、悪しからず(^^;
ttp://homepage3.nifty.com/Aransk/
名無しで立てて後で「乙」とでも自演しておけばとりあえずはネタスレにならずに立つ
立ったぞ
早よ
http://pc2.2ch.net/test/read.cgi/tech/1076418993/
…程々にな
居心地が良さそうなんで、もう少し（微笑）
そう言えばCleanってさあ、普通にダウンロードすると
旧ヴァージョンしか出来なくない？
やはり金を払わないと最新版はダウンロードできないの？
ttp://homepage3.nifty.com/Aransk/
そう変わらん結果になると思うが、考えてはみよう。
最近やる気を無くしているみたいね？
やっぱり、商売にならないとキツイんだ。
そりゃぁ、EclipseやJakartaPjtを無償で使っている
連中に売り込むのは、いかにもツライものがあるよねぇ。
ttp://homepage3.nifty.com/Aransk/
漏れがスレ立てられるようになるまで待ってろ。
関数型言語スレの住人は煽り耐性もｄｑｎ耐性も
弱いからな。
でもCleanってさぁ。Haskellとは違って明らかに商用を
目指しているよねぇ？そのビジネスが成立するかどうかって
Cleanスレでは重要じゃないの？でないと
Clean言語自体が消えちゃうじゃんよぉ。
ttp://homepage3.nifty.com/Aransk/
このスレでも一向にコード書く奴出てこないし。
Aransk、おまえここに居座るつもりなら
Cleanでなんかコード書いてみろよ。
商用を目指しているというのは正確ではない。
大学の研究用の材料にされているという方が正確だ。
>This site is about functional programming
>and purely functional language : Concurrent Clean.
これCleanのプログラムじゃなかったっけ？(^^;
>54
Cleanの最新版は金を払わんとダウンロード出来ん。
それを商用と言わずして何を商用と言うのか？(^^)
IBMが5千万ドル開発費を注ぎ込んだ、Eclipseが
無償でダウンロードできる。これも大学の研究用の
材料であろうか？(^^;
ttp://homepage3.nifty.com/Aransk/
これ程とは・・・
相変わらず精力的だったな。やっぱコンサルとか講演とか、別の収入があるからかｗ
Eiffel？
module hello
import StdEnv, StdIO
Start world = startIO NDI Void (snd o openDialog undef hello) [] world
where hello= Dialog "" (TextControl "Hello world!" []) [WindowClose (noLS closeProcess)]
>Cleanの最新版は金を払わんとダウンロード出来ん。
英語のサイト巡りも禄に出来ない人は来ないで下さい。
import StdEnv,ArgEnv
Start world
# (readok, file, world)= sfopen filename FReadText world
| not readok= abort "open failure"
# (console, world)= stdio world
(closeok, world)= fclose (console <<< getCsv col file) world
| not closeok= abort "close failure"
= world
where
col= toInt argv.[1]
filename= argv.[2]
argv=getCommandLine
getCsv num file
| num<= 0 = abort "out of range"
= selectCsv (num-1) (stringRead file) 0
where
selectCsv :: Int String Int -> String
selectCsv n s i
| s.[i] == '\r' = ""
| s.[i] == '\n' = "\n" +++ selectCsv (num-1) s (i+1)
| s.[i] == ',' = selectCsv (n-1) s (i+1)
| n == 0 = toString s.[i] +++ selectCsv n s (i+1)
= selectCsv n s (i+1)
stringRead :: File -> String
stringRead f
| sfend f = "\r"
# (line,filerest) = sfreadline f
= line +++ stringRead filerest
1.3じゃなくて、2.1無償ダウンロード出来るの？
ttp://homepage3.nifty.com/Aransk/
ここにいるのは元号が大学名の学校出身ばかりだから、
得意の英語でMLに質問したら？
Cleanのメーリングリストのアーカイブ（Discussions ）
http://www.cs.kun.nl/pipermail/clean-list/
Aranskﾀﾝには無理だとわかっていてあえてそーゆう提案してるだろ？
そろそろ萌え擬人化します
>Aranskタンは愛すべき
だよね？それがさぁ。
ttp://homepage3.nifty.com/Aransk/のMSGボードに
いつかは、来られるのではと、「密かに」期待はして
おりました。それが、な、なんと、本日7000通もの
大量、カキコがありました。大漁節！です。
お蔭様でMSG板はオシャカ!であります。(^^;
mild_server_super_lights先生を存知より
の方が、もし「２ちゃんねる」にも出入りされて
おられたら、是非、先生にお伝え願いたいのです。
Aranskは、またのお越しをお待ち申し上げて
おりますと。今度は、先生の弊HPに対する
ご意見なり、ご批判なりをご自由にお書き下さい。
但し、「多くても」10通以内にね。（大笑い）
意味分からん
>((；ﾟДﾟ))ｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙ ほ、本物？
mild_server_super_lights先生って、２ちゃんねるでは
「そんなに」有名人なんでしょうか？(^^;
ttp://homepage3.nifty.com/Aransk/
>いつの間にAranskだと認めたんだね．
もう随分以前から「ヒーロー勇気」や「名無し」を
使用せず、本名で発言しております。(^^;
でないと２ちゃんねるの雑誌に有名コテハンとして
掲載してくれないらしい？（大藁藁）
ttp://homepage3.nifty.com/Aransk/
思い込みたくてしょうがないらしい．．．
916 ：デフォルトの名無しさん ：03/12/31 09:02
>913
ム板だけではなく、上の中東情勢板でも結構暴れたらしい？（藁）
ム板と中東板を往復するのは、管理人だけなのにって
西村クンが嘆いていたそうな。
ところでヤフーの年間人気サイトで２ちゃんが表彰されていた。
まずはご同慶の至りです。
でも西村くんってちょっとヤバそうな顔してるね。
あの手の顔はいったん切れると無茶苦茶、恐いか、メッタメタ
オモロイ！かどちらかだな。（藁藁）
＞ム板と中東板を往復するのは、管理人だけなのに
ﾌﾟｯ，何言ってんの？
そっとしといてやれよ。第一Cleanと関係ないぞ。
そうだぁ！Cleanに関係ない質問をするな！
（それに簡単に乗せられる奴も、問題ではある。(^^;)
Javaやその他言語の無償提供環境の中で
Cleanのような弱小言語がビジネスとして
成立するのか？また成立する「必要が」あるのか？
それを問いたい。(^^;
ttp://homepage3.nifty.com/Aransk/
＞Cleanのような弱小言語がビジネスとして
＞成立するのか？また成立する「必要が」あるの
「○○言語に関する質問」と「○○言語のスレがビジネスとして
成立するかどうかの議論」は別々のスレでやった方がいいと思う．
最新版にこだわるけど
有料の最新版はダウンロード版とどこが違うの？
無料でダウンロード可能
登録も不要
ライセンスはＬＧＰＬ
ttp://www.cs.kun.nl/~clean/Download/main/main.htm
>つか、それしかネタ無いんか？
悪い。Cleanで知ってることってこれだけなんです。(^^;
>83
普段はプログラムに触っておりません。
ひたすら面白そうな新しい言語を探し、言語仕様を
読んで、DLして験すだけ。だから、公平な評価が可能なので
あります。純粋の鑑定団！
現在SimkinとIoを調査中であります。
>85
えぇ！ホントですか？ビジネス・プラクティスの変更か？
どうやって、開発部隊は食っていけるのだろう？
ttp://homepage3.nifty.com/Aransk/
ネタフリとして
http://sky.zero.ad.jp/~zaa54437/programming/clean/CleanBook/part1/Chap1.html#sc33
の演習でも順番にといていきましょう。
1.CLEANシステムがあなたのコンピュータにインストールされていることを確かめなさい。そのシステムは、www.cs.kun.nl/~cleanからダウンロードできます。値42を印字するプログラムを書いて実行しなさい。
2.2つの引数、つまり、nとxを取る関数を書き、それらの累乗xnを計算しなさい。その引数を平方する関数を、それを使って構成しなさい。128の平方を計算するプログラムを書きなさい。
3.その引数の数字を加算する関数isum :: Int -> Intを定義しなさい。そうすると、
isum 1234 = 10
isum 0 = 0
isum 1001 = 2
isumは、非負の引数に適用されるものとする。
今週末くらいを目途に。
残りの問題も解いてみたけど、ネタ切れしそうなので投下は止めときます。
あ、5.以降の関数は全て１行で書けるね。
// 1. /////////////////////////////////
Start = 42
// 2. /////////////////////////////////
pow n 0 = 1
pow n x = n * pow n (x-1)
square n = pow n 2
Start = (pow 2 10, square 128)
// 3. /////////////////////////////////
isum 0 = 0
isum n = n-(n/10)*10 + isum (n/10)
Start = (isum 123456789, isum(-123456789))
import StdEnv, StdIO
Start :: *World -> *World
Start w = startIO NDI Void initial [] w
where
initial pst
# (err,pst) = openDialog
Void
(Dialog "display 42" (TextControl "42" []) [WindowClose (noLS closeProcess)])
pst
| err<>NoError = closeProcess pst
= pst
divable :: Int -> Bool
divable n
| n < 9 = False
| n == 9 = True
= divable (isum n)
Start = (divable 6, divable 9, divable (-9)) // 定義域は正の値だけ
// 5, 6
max a b = if (a > b) a b
min a b = if (a < b) a b
// 7, 8
MaxOfList :: [a] -> a | Ord a
MaxOfList [x:xs] = foldl max x xs
MinOfList :: [a] -> a | Ord a
MinOfList [x:xs] = foldl min x xs
// 9-12
Last :: [a] -> a
Last [x:xs] = foldl (\_ b = b) x xs
LastTwo :: [a] -> (a, a)
LastTwo [x,y:zs] = foldl (\(_,b) c = (b,c)) (x, y) zs
Reverse :: [a] -> [a]
Reverse [x:xs] = foldl (\cs c = [c:cs]) [x] xs
Palindrome :: [a] -> Bool | Eq a
Palindrome xs = xs == Reverse xs
人もいないし、黙々と解いてみる。
module Chapter2
import StdEnv
// 1
odd = isEven o ((+)1)
// 2
next :: (Real, Real) -> (Real, Real)
next (_, y) = (y, y/10.0)
reachZero :: (Real, Real) -> Bool
reachZero (_, y) = y == 0.0
Start = eps
where (eps, _) = until reachZero next (1.0, 1.0)
ワンライナーだとこんな感じか。さすがに汚い。
Start = fst (until (((==) 0.0) o snd) (\(_,y) = (y, y/10.0)) (1.0, 1.0))
countday :: (Int,Int,Int) (Int,Int,Int) -> Int
countday now bth = absday bth - absday now
absday :: (Int,Int,Int) -> Int
absday (d,m,y) = (y-1)*365 + (y-1)/4 - (y-1)/100 + (y-1)/400 + sum (take (m-1) (months y)) + d
months :: Int -> [Int]
months y = [31, if (leap y) 29 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]
leap :: Int -> Bool
leap y = divisible y 4 && (not(divisible y 100) || divisible y 400)
divisible :: Int Int -> Bool
divisible t n = t rem n == 0
Start = countday (20,2,2004) (20,3,2004)
// 4
mapfun :: [(a->b)] a -> [b]
mapfun [] x = []
mapfun [f:fs] x = [f x : mapfun fs x]
Start = mapfun [sum, avg, prod] [1..10]
それは別のエディタを使えば済む問題だけど、Cleanコンパイラのほうが
ダメ文字（2バイト目に0x5C(「\」記号)がある文字）に対応してないのはちょっと悲しい。
しょうがないからCleanIDEに日本語を直接入力してわざと文字化けさせて、
「\」記号が出てきたら、手入力で「\」記号をもう一つ追加して問題を回避してる。
ダメ文字って、Cleanのパーザをいじらないと対応できないのかな…
UNICODE担当（？）の人は、なんか違うことやってるので期待できない。
そうですか…日本語の扱いは少し面倒ですね。
http://sky.zero.ad.jp/~zaa54437/programming/clean/CleanBook/part1/Chap3.html#sc55
淡々と解いてみる。そろそろ難しくなってきたかも。この先にはAVL木の実装とか面倒臭い問題があるなぁ…
// 1, 2, 4, 5
CountOccurences :: a [a] -> Int | == a
CountOccurences c xs = length [x \\ x<-xs | x==c]
MakeFrequenceTable :: [a] -> [(a, Int)] | Eq a
MakeFrequenceTable xs = [(x, 100*CountOccurences x xs / length xs) \\ x<-removeDup xs]
myflatten :: ([[a]] -> [a])
myflatten = foldr (++) []
Permutations :: [a] -> [[a]]
Permutations []= [[]]
Permutations [x:xs] = [zs \\ ys <- Permutations xs, zs <- interleave x ys]
interleave :: a [a] -> [[a]]
interleave x ys = [insertAt i x ys \\ i <- [0..length ys]]
// 3.
(==) :: (s,t) (s,t) -> bool | Eq s & Eq t
(==) (a,b) (c,d) = a == c && b == d
右辺には２つの(==)があるが、１つめは型s、２つめは型tに対して定義された(==)である。左辺で定義した(==)は、型(s,t)に対して適用される。
この式にある３つの(==)は、すべて属する型が異なっているため別々の関数である。したがって再帰的ではない。
(==) :: [s] [s] -> bool | Eq s
(==) [x:xs] [y:ys] = x==y && xs==ys // セクション3.1.2より抜粋
右辺には２つの(==)があり、１つめは型s、２つめは型[s]に対して定義された(==)である。左辺で定義した(==)は、型[s]に対して適用される。
左辺と右辺に同じ型に属する(==)がある。この２つの(==)は同じ関数である。したがって再帰的な定義である。
関数型言語は思わぬパフォーマンス上の失策をやらかしてそうで怖い。
扱いきれない感がある。もっとクンフーを積まねば･･･。
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
C言語を勉強しあおう (252)
全国高専プログラミングコンテスト part3 (253)
BREW(Binary Runtime Environment for Wireless) 11 (512)
ミスターサタンのC＃相談室 (679)
【最速へ】LowLevelVirtualMachine【LLVM】 (473)
くだすれFORTRAN（超初心者用）その5 (919)
--log9.info------------------
人大杉について (453)
Girl's sideを作って欲しいゲーム (523)
乙女@ﾗｽﾄｴｽｺｰﾄ-ClubKatze-攻略ﾈﾀﾊﾞﾚｽﾚ5 (825)
乙女＠アンジェリークエトワール８ (348)
o(ﾟ∀ﾟ≡ﾟ∀ﾟ)o今 女向けゲには俺様しか居ない！24 (531)
遙かなる時空の中で総合アンチスレその7 (976)
そんなふうに考えていた時期が漏れにもありました (499)
BL＠好きなものは好きだからしょうがない！！ (798)
乙女＠原宿探偵学園スチールウッド攻略ﾈﾀﾊﾞﾚｽﾚ (221)
未プレイの乙女ゲをプレイしたかのように語るスレ (252)
岡田あーみんの乙女ゲーがしたい (278)
乙女＠デザート・キングダム攻略ネタバレスレ (491)
台本通りに進むスレin女向ゲーム一般板4 (665)
乙女＠DUEL LOVE〜恋する乙女は勝利の女神〜その13 (478)
宣伝して未購入者に乙女ゲーを買わせるスレ (339)
BL@そして僕らは、…and he said 2 (344)
--log55.com------------------
【デレステ】スターライトステージ★8378
【アズレン】アズールレーン アンチスレ Part83
【ガルパン 】ガールズ&パンツァー あつまれ！みんなの戦車道！！ part4
【アズレン】アズールレーン Part 2228
Fate/Grand Order まったりスレ3910
Fate/Grand Order まったりスレ3910
【デレステ】スターライトステージ★8379
【FEH】ファイアーエムブレムヒーローズpart3299