プログラミング言語 S ..
175:デフォルトの名無しさん
08/04/08 00:34:40
>>174は処理系実装と言語仕様の思考分離を(ry
176:デフォルトの名無しさん
08/04/08 01:11:10
>>175
いや、もちろんわかってるよ。ただ、処理系(というかパーザ)の実装のしやすさを
考えて、問題無い程度に構文を変えるというのは普通にあり得る話だと思う
177:デフォルトの名無しさん
08/04/08 01:28:03
D 言語なんかまさにそうだな。
実装しやすいような言語仕様にするってのを1つの柱にしている。
D 言語は構文解析と意味解析が 100% 分離可能。
逆に C++ とかは泥沼。全言語の中で最もパーサが作りづらい。
178:デフォルトの名無しさん
08/04/08 18:22:34
>>176
同意。ただ>>173のような例が「問題がある」程度の実装の難しさを引き起こすかな。
テーブル見る必要があるのはスマートじゃないけど、見慣れた記号の意味が変わらない、というのは
一つのメリットになり得るから、トレードオフとして検討する価値はあるんじゃないかなぁ。
けど、[とか]が単独で演算子として使われたことはないだろうから、それを<と>の代替として選んだ
Scalaの中の人は確かにちゃんと考えてるなーと思う。
179:デフォルトの名無しさん
08/04/08 18:23:45
>>177
C++なぞ問題外 (^^)
180:デフォルトの名無しさん
08/04/08 18:35:02
とりあえず参考資料 っ
> * Features of Ruby
> + Simple Syntax
(from README)
Pseudo simplicityとか言い張ってるやつだな。どこがpseudoって、parse.yの大きさ見れば分かる。
Rubyの主張は、見た目の良さと実装難易度は直交するということじゃまいか。
たしかにBrainf**kなんか挙げればそれっぽい気もするが、ある程度の複雑さを備えた実用的な
言語仕様でも上記が主張できるかどうかは、意見が分かれるところだろう。
(見た目がシンプルなら実装も簡単になりやすいんじゃないか、等々)
181:デフォルトの名無しさん
08/04/08 18:37:23
>>180
「見た目の良さ」だと曖昧だな。理解のしやすさ、くらいか。まぁその指標自体が曖昧だが。
182:デフォルトの名無しさん
08/04/08 21:54:49
>>174
不等号を連続させられないようにする、という選択肢もあるね。
183:デフォルトの名無しさん
08/04/08 23:21:05
>>180
> Pseudo simplicityとか言い張ってるやつだな。どこがpseudoって、parse.yの大きさ見れば分かる。
それだけだと単にyaccが適切な道具じゃなかったという可能性が否定できないよ。
184:デフォルトの名無しさん
08/04/08 23:25:20
>>183
Rubyの文法は、lexer/parserを分離する事が前提の構文解析アルゴリズム
は向いてない可能性はあるね。
185:デフォルトの名無しさん
08/04/08 23:52:00
Cが駄目だね。> 分離
186:デフォルトの名無しさん
08/04/10 23:23:22
>>183
LALR(1)が、なら同意だけど、単にyacc(bison)が、ならあんまり同意できないかも。
parse.y覗いたことある? あんなことやってたら他のパーザジェネレータ使ってもコードが太りそう。
結局は>>184のが本質ついてるのかも。
187:デフォルトの名無しさん
08/04/10 23:34:41
とりあえず誰か、Scalaの超絶技巧を使って[Type]を<Type>と書けるようにするライブラリの実装ヨロスコ
// TypeじゃなくてKlassか?
188:デフォルトの名無しさん
08/04/11 00:03:10
>>187
さすがにそりゃ無理があるw
Camlp4みたいに標準的な構文拡張のための方法が用意されてるならともかく
Scalaではそういうのは無いはずだし
189:デフォルトの名無しさん
08/04/11 00:15:09
>>186Rubyをわかってねーな。プログラマのためにあえてあーなってんだろうが。
190:186
08/04/11 01:55:57
>>189
んと、言語として「プログラマのためにあーなって」るのは否定も嫌悪もしてないっす。
ただ、とりあえず現状の(というか「lexer/parserを分離する事が前提…」であると?)
実装は、大変そうだな、と。lex_stateとかlex_stateとか。
だからといって、プログラミング言語の文法に置ける、人にとってのsimplicityの定義:
LALR(1)に収まること。
っていうのは違うよなぁ。
おぉっと、Scalaな話からそれてしまう。いいかみんな、共産ゲリラたちが発する電磁波は……
191:デフォルトの名無しさん
08/04/12 00:27:00
>>189
Ruby書きづらいし遅くて使い物にならないけど
192:
08/04/12 01:23:41
Scalaの日本語版Wikipediaには影響を受けた言語にRubyが入ってるけど、英語版にはない。
193:デフォルトの名無しさん
08/04/12 01:48:56
>>192
それはひどいな
捏造かよ
194:デフォルトの名無しさん
08/04/12 03:18:59
もうRubyはいいって。
内容のある比較もないし。
195:デフォルトの名無しさん
08/04/12 08:57:01
>>191
負け惜しみ乙。どこがどう書きづらいんだよw
196:デフォルトの名無しさん
08/04/12 12:30:55
てかscalaとrubyってユーザそんなに被らないと思うけどなあ
RoRとかが出てきてから流行に乗っかるような「現実的な」ユーザにとっては
今のscalaはまだ使う価値がないと思うし
197:デフォルトの名無しさん
08/04/12 12:59:55
Ruby信者はRubyより優れている所があると言われる言語にでていく習性があってだな…
格下認定(HSP,PHP,LISP,VBあたり)されるか、信者(HaskellとかErlang?)が突撃してくるかくらいしか選択肢がない。
198:デフォルトの名無しさん
08/04/12 16:37:37
>>195
うわぁ・・・Ruby信者いいかげんにしろ
199:デフォルトの名無しさん
08/04/12 17:42:28
こたえられないんですね。
完膚なきまでに論破。
200:デフォルトの名無しさん
08/04/12 17:47:39
信者なのかアンチの嫌がらせなのかの区別がつかない。
どちらにしてもScalaの絡まないRubyの話は
Ruby関連のスレかLLスレでやってほしい。
201:デフォルトの名無しさん
08/04/12 21:26:20
Railsにブチ切れた外人がフレームワーク作った模様
InfoQ: David Pollak氏 lift と Scala を語る
URLリンク(www.infoq.com)
202:デフォルトの名無しさん
08/04/12 22:17:14
>>189,191,198,199あたりはRubyを貶めようとする輩の自作自演の可能性が高い。
本当のRuby信者がRubyの心証が悪くなるような行動をするわけがない。
203:デフォルトの名無しさん
08/04/12 22:23:48
まつもとゆきひろが率先してやってる件について
204:デフォルトの名無しさん
08/04/12 22:25:39
>>202
>>195が抜けてるけど>>195ですか?
205:デフォルトの名無しさん
08/04/12 22:29:16
すまん、訂正する。>>189,191,195,198,199あたりはRubyを貶めようとする輩の自作自演だろ。
206:デフォルトの名無しさん
08/04/12 22:56:28
なんでもかんでもアンチのせいにしてごまかそうとしてるな酷すぎる
207:デフォルトの名無しさん
08/04/12 23:21:34
>>202-206
>200
>どちらにしてもScalaの絡まないRubyの話は
>Ruby関連のスレかLLスレでやってほしい。
どうでもいいけどRubyスレのほうが盛りあがっててワロタ
良く釣れる連中だから遊んでもらえるんだな
208:デフォルトの名無しさん
08/04/12 23:26:34
そんなことより2.7.1RC1が出てるぞ
バグフィックス中心だけど、簡単な正規表現ライブラリも追加されている
209:デフォルトの名無しさん
08/04/12 23:30:28
正規表現だってー!!
210:デフォルトの名無しさん
08/04/13 10:26:23
java.util.regex.*でいいじゃん...
211:デフォルトの名無しさん
08/04/13 12:18:10
鬼車キボン
212:デフォルトの名無しさん
08/04/13 13:23:47
またRuby厨が沸きそうなネタを…
213:デフォルトの名無しさん
08/04/13 14:12:42
PEGの方がいいじゃん
214:デフォルトの名無しさん
08/04/13 14:45:28
>>210
いや簡単なjava.util.regexのラッパー
215:デフォルトの名無しさん
08/04/13 15:19:47
自前LL作るときにJVM利用する価値があるのは同意する。
しかしライブラリまでラッパでおk、ってのはいかがなものか。
たしかにJavaの豊富かつ実績のあるライブラリが使えるのはすげーメリットだが、
自前言語に合った、使いやすい物をもっと作れるはずだろ。インタフェース的な意味で。
藻前らが独自言語を設計してもJVMの命令列に落とすのと同じだ。
独自インタフェースのライブラリを設計して、標準ライブラリを利用しろよ。
Java標準パッケージ脳乙。
ということを繰り返し書いている漏れは……うー。
もしこれ以上雑多な拡張が必要になる将来が来るなら、それよかPEGにしたらいいと思う。 >regex
216:デフォルトの名無しさん
08/04/13 16:23:42
なんだregexリテラルくらい作ってくれればいいのに
217:デフォルトの名無しさん
08/04/13 17:42:33
>>216がフラグ立てた。(リテラルっぽい表記をライブラリで実現する的な意味で
218:デフォルトの名無しさん
08/04/13 18:00:15
まあ、"abc".r で正規表現オブジェクトができるから短かくは書けるけど
219:216
08/04/13 19:53:32
>>217
Scala触ったこともないんだけどだいぶ待ってもらっていい?
……と書こうとしたら>>218でオワタ
220:デフォルトの名無しさん
08/04/13 20:12:23
/abc/と書けないのは中途半端だな。
221:デフォルトの名無しさん
08/04/14 00:17:16
>>213
scalaにPEGライブラリってあったっけ?
222:デフォルトの名無しさん
08/04/14 00:35:08
>>221
無いけど、Parser Combinatorがそれに近い
223:デフォルトの名無しさん
08/04/14 07:24:37
PEGとParser Combinatorってどうちがうの
224:デフォルトの名無しさん
08/04/14 16:41:54
>>218
いっそのこと、文字列から正規表現への暗黙の変換を定義するというのはどうだろう
以下のような感じで(2.7.1.RC1じゃないと動かないので注意)
import scala.util.matching.Regex
implicit def string2Regex(s :String) :Regex = new Regex(s)
for(r <- "[0-9]+" findAllIn "123 456 789") println(r)
225:デフォルトの名無しさん
08/04/14 20:45:38
> 文字列から正規表現への暗黙の変換
実にPerlish……けど型が保証されるから問題無しか。すげ
226:デフォルトの名無しさん
08/04/14 22:06:50
毎回やるのは嫌すぎるぞ。Emacsのようにキャッシュ利かせるとかしないと。
227:デフォルトの名無しさん
08/04/14 22:09:35
個人的にはこのくらいで変換はしない方がいいと思うが
じゃあどういう基準で変換すべきかというのがわからんな
新技術はこういうところが困る
228:デフォルトの名無しさん
08/04/14 22:17:09
キャッシュねえ…こんな感じ?
import scala.util.matching.Regex
import scala.collection.mutable.HashMap
object RegexConversion {
private val cache = new HashMap[String, Regex]
implicit def string2Regex(key :String) :Regex = {
cache.synchronized {
cache get key match {
case Some(regex) => regex
case None =>
val regex = new Regex(key)
cache(key) = regex
regex
}
}
}
}
import RegexConversion._
for(r <- "[0-9]+" findAllIn "123 456 789") println(r)
229:デフォルトの名無しさん
08/04/14 22:18:34
>>227
まあ、自分で書いといてなんだが、俺もこういうケースで
implicit conversion使うのが良いかっていうのはちと疑問ではある
ただまあ、実害があまり無い使い方ではあると思う
230:デフォルトの名無しさん
08/04/15 00:16:55
これはひどい
231:デフォルトの名無しさん
08/04/15 01:06:52
>223
PEG: 文法の記法
Parser Combinator: パーザの実装方法の一つ(ちょっと違うけどそんなもん)
232:デフォルトの名無しさん
08/04/15 07:34:18
パーザコンビネータつうのは文法とか文法解析のアルゴリズムとは独立してるもんなの?
233:デフォルトの名無しさん
08/04/15 11:00:07
>>232
実際に使えるパーザコンビネータはほとんど再帰下降型(+バックトラック)だと思う
ただ、LRなどのボトムアップ型も作れないことは無い、はず
234:デフォルトの名無しさん
08/04/17 23:59:23
ScalaってWindowsでまともなプログラム書けますか?
サーバーサイドじゃなくって
Scala.netって止まってるような気がするけど・・・
235:デフォルトの名無しさん
08/04/18 00:04:09
うぜぇ。文句があるならRubyでも使ってろ。
236:デフォルトの名無しさん
08/04/18 00:19:33
WindowsユーザはScala使うな
237:デフォルトの名無しさん
08/04/18 00:23:10
知的水準の低い人はScalaを使わなくて結構です
238:デフォルトの名無しさん
08/04/18 00:34:56
なんだ。関数型言語ってやっぱり学者しか使わないか・・・
239:デフォルトの名無しさん
08/04/18 00:51:52
ごめん、嘘です。気を悪くしたらスマソ。
「自分がやられて嫌なことは、他人にしたらいけない」って死んだ猫いってたのを思い出した・・・
240:デフォルトの名無しさん
08/04/18 14:23:55
何この流れw
241:デフォルトの名無しさん
08/04/18 19:13:35
>>234
ScalaでWindowsのGUIプログラム書けるかって話なら
Swing/AWT使うか、SWT使うくらいしか選択肢は無いんじゃない?
242:デフォルトの名無しさん
08/04/18 19:26:24
「まとも」=「GUI」!
243:デフォルトの名無しさん
08/04/18 19:55:27
>>241
.NET対応がちゃんとしてくれるんなら、それでいいっす^^
244:デフォルトの名無しさん
08/04/18 20:04:12
>>242
234の文章から、234の考える「Windowsのまともなプログラム」を推測すると、
俺もそうなる。
245:デフォルトの名無しさん
08/04/18 20:18:19
>>242
>>244の書いてる通り、234の文章から、234が考える「Windowsのまともなプログラム」
=GUIプログラムのことと推測したまで。俺自身が「Windowsのまともなプログラム」=
GUIプログラムのことだと考えてるわけじゃない
246:デフォルトの名無しさん
08/04/18 20:27:57
SWT使えば見栄えも問題ないよ
247:デフォルトの名無しさん
08/04/19 09:26:39
あんな低レベルのGUIに満足してるの?
248:デフォルトの名無しさん
08/04/19 09:44:53
俺はGUI全く使わない。
249:デフォルトの名無しさん
08/04/19 10:36:08
GUIも使えるけどあえて使わないってこと?今だにキャラクタベースのUIのほうが玄人っぽいとか、そんな発想?
あなたのような人には文字ベースで十分なのかもしれないけれど、一般的な用途にはGUIが必要とされる時代なんです。いい加減わかってください。
250:デフォルトの名無しさん
08/04/19 10:59:27
お前のことはお前が決めろ。
251:デフォルトの名無しさん
08/04/19 11:10:36
>>247
世の中はOSと違うインターフェースは敬遠されるらしい
252:デフォルトの名無しさん
08/04/19 11:13:56
必要なものを自分で作る能力のないプログラマが飛び付く言語じゃない。
253:デフォルトの名無しさん
08/04/19 12:20:38
>>242>>244
おそらく、>>234=>>243なので、さらにその内容を合わせると
>>234の考えるまともなプログラム
=「.NET Framework を使ったGUIプログラム」
というように読める。
254:デフォルトの名無しさん
08/04/20 17:51:36
どちらかというと言語がプログラマの要求についてこれれてない部分があるっつーことでしょ。
その辺を他言語と比較されるとすぐファビョりはじめる奴がいるのが困りものだね。
255:デフォルトの名無しさん
08/04/20 21:28:40
.NET対応ってそんなに要求あるのかな?
Java VMで十分な気がするけど
256:デフォルトの名無しさん
08/04/22 21:33:18
Introduction to SDT
URLリンク(www.codecommit.com)
期待。
257:デフォルトの名無しさん
08/04/23 00:55:30
Emacsにも補完つけてほしい
258:デフォルトの名無しさん
08/04/23 01:33:45
Stream.const がはじかれるんですが、これっていつからの関数ですか?
259:デフォルトの名無しさん
08/04/23 01:54:41
Stream.consのことか?
260:デフォルトの名無しさん
08/04/24 02:41:40
>>259
いや。実際にStream.constというメソッドがある。
たとえば、Stream.const(1)とすると、1のみを含む無限Streamが生成できる。
261:デフォルトの名無しさん
08/04/27 11:00:01
ふと聞きたいのですが、Scala以外にどんな言語に興味ありますか?
Scalaを使ってらっしゃる方が普段どんな言語つかっているのか知りたいです。
262:デフォルトの名無しさん
08/04/27 11:42:13
JavaとRuby
263:デフォルトの名無しさん
08/04/27 12:39:15
JavaとRubyかな。最近はErlangに手を出し始めてる
264:デフォルトの名無しさん
08/04/29 15:46:25
>>193
small talkも知らない馬鹿が書いているんだろwww
無視しろ。
265:デフォルトの名無しさん
08/04/29 20:12:31
ScalaはRubyの影響をうけているよ。
266:デフォルトの名無しさん
08/04/29 21:23:18
>>265
まあ、受けてる可能性は否定できないけど、明らかに影響を受けてる
という程じゃないなあ。Groovyくらいそっくりだったら、話は別だけど。
267:デフォルトの名無しさん
08/04/30 02:42:57
>>264
他人を罵る前にだ。
Smalltalkを区切るな、ボケw
268:デフォルトの名無しさん
08/04/30 22:17:30
>>264
くだらない釣りはヤメロよ
269:デフォルトの名無しさん
08/04/30 23:05:54
JJUG Cross Community Conference の Scala のセッション、えらい盛況でワロタ:-)
270:デフォルトの名無しさん
08/04/30 23:14:43
URLリンク(shootout.alioth.debian.org)
271:デフォルトの名無しさん
08/05/04 19:50:05
既出かもしれんけどscalaの動画が紹介されてた。
関数型言語mlのすれ
272:デフォルトの名無しさん
08/05/06 16:48:05
Scala 2.7.1.final
URLリンク(www.scala-lang.org)
273:デフォルトの名無しさん
08/05/07 19:49:29
>>271
Scalaの動画ってこれか
URLリンク(www.youtube.com)
274:デフォルトの名無しさん
08/05/09 23:39:00
>>271
ニコニコ動画で見つけました。
関数型言語Scalaの動画もう一つ
URLリンク(www.nicovideo.jp)
275:デフォルトの名無しさん
08/05/10 14:28:21
>>274
>>1乙wwww
276:デフォルトの名無しさん
08/05/10 14:33:51
>>1 なのかwww
277:デフォルトの名無しさん
08/05/10 14:34:18
Rubyの人とけんかしてるので仲良くして欲しいwww
278:
08/05/10 18:50:55
記法が柔軟性あるみたいだけど、そのためIDEのインテリセンスつくるの大変そうだね。
EclipseのJavaエディタ並みの賢い開発環境があればJavaから乗り換えたいけど。
279:デフォルトの名無しさん
08/05/10 20:20:11
>>274
「スレを立てる」クソワロタ
その結果がこのスレかwww
280:デフォルトの名無しさん
08/05/11 03:07:41
emacsで充分
281:デフォルトの名無しさん
08/05/11 12:09:33
>>278
開発中のEclipse用プラグインが割と頑張ってる感じ
282:
08/05/12 07:55:41
>>281
そうなのか、使ってみる。
283:デフォルトの名無しさん
08/05/12 13:55:30
Eclipse で実行のたびに Run Configuration が増殖するのは仕様ですか?
284:
08/05/14 04:39:03
Scalaって文の区切りに;が必要ないの?
なんか怖いです。
285:デフォルトの名無しさん
08/05/15 14:44:24
誰でもはじめては怖いもんだ
286:デフォルトの名無しさん
08/05/15 21:35:10
>>284
関数型言語などでは ; が必要ない方が普通。
HaskellやOCamlなんかでも;は必要ない。
287:デフォルトの名無しさん
08/05/15 21:49:16
ありますよ。
288:デフォルトの名無しさん
08/05/15 23:52:14
必要だけど必要じゃない。
289:デフォルトの名無しさん
08/05/16 03:05:20
Lispだとセミコロンはコメントアウトだな。
290:デフォルトの名無しさん
08/05/17 08:43:04
JavaとRubyとScalaの比較
URLリンク(codezine.jp)
291:デフォルトの名無しさん
08/05/17 15:35:15
Scalaの文法でDみたいなネイティブコンパイラって作れないかな。
292:デフォルトの名無しさん
08/05/17 18:38:06
単にネイティブバイナリがほしいだけだったらgcjであれこれ挑戦してみたら委員では
293:デフォルトの名無しさん
08/05/20 10:25:32
inforno :: Scalaでスタック指向言語をサクッと実装する
URLリンク(inforno.net)
294:デフォルトの名無しさん
08/05/21 23:03:40
scalaって遅延評価あるんだな。
最初からそれ言ってくれたら切り捨てたりしなかったのに。
295:デフォルトの名無しさん
08/05/21 23:11:11
お前の方が切り捨てられたんだよ。
296:デフォルトの名無しさん
08/05/22 18:11:38
煽られたら乗るよ?
scalaに意志はないから切り捨てるも切り捨てないも人の意志にゆだねられる。
scalaと人を混同しないでくださいね。
それとも、scalaたんとかいって擬人化してるキモオタくんですか?
297:デフォルトの名無しさん
08/05/22 20:11:14
scalaたんの擬人化マダー?
298:デフォルトの名無しさん
08/05/23 05:02:26
>>296
君、さぞ国語の成績が悪かったろうな。
299:デフォルトの名無しさん
08/05/23 05:38:47
>>296
乗るにしてもその乗り方はないだろ。
>scalaに意志はないから切り捨てるも切り捨てないも人の意志にゆだねられる。
って、どんな返しだよ。
というか、返しにすらなってないか・・・。
300:デフォルトの名無しさん
08/05/23 05:48:16
>>296
煽られたら乗るよ?
> scalaに意志はない(後略)
まず、議論の前に、どのような哲学的立場をもとにしているのかをハッキリしてもらおうか。
301:デフォルトの名無しさん
08/05/23 05:48:24
>>296
scalaにはMartin Oderskyの意思が宿っている
と返して欲しかったんですね。
わかります。
302:デフォルトの名無しさん
08/05/23 05:54:40
キモオタとか言って煽ってる本人が
なんか凄くオタクに詳しいっぽいのがたまらんね
沸いた頭で煽りを書き殴ったら、自分が普段言われてるモノが出てきました、みたいな
303:デフォルトの名無しさん
08/05/23 07:50:20
どんな言い方してみても>>294が付いて行けなかった事にかわりはない。
304:デフォルトの名無しさん
08/05/23 08:44:58
>>294の書いたscalaたんが観たかった…
305:デフォルトの名無しさん
08/05/23 09:27:29
codezineのメルマガのタイトルに scala が出てきて吹いた
◆【Web】私がScalaを選んだ理由
最近自分の中でScalaという言語が熱い。RubyやPython等のスクリプト言語や、
JavaやC#等現在のエンタープライズ領域を支える言語、HaskellやErlangといった
関数型言語もある。そんなにいっぱいいい言語がある中で,なぜ今Scala
なんだろう?そんな理由を解説してみたいと思います。
URLリンク(codezine.jp)
306:デフォルトの名無しさん
08/05/23 11:33:17
>>303
scalaを一見したらどう見えるかというと、
・JAVAのクラスファイルはくの?つまり所詮はJAVAの亜種ってこと?JAVAにはウンザリなんだよなぁ
・クラス?なんだ、またオブジェクト指向言語か。ツマンネ。
・アルジェブライックデータタイプなし?キモ。おいおい、どこが関数型言語だよ。
・しかも見た目は完全手続き型言語っぽい。
遅延評価以外これといった特徴無いですよね。
307:デフォルトの名無しさん
08/05/23 17:23:39
>>306
英語docの読めない香具師はScalaに手を出すなw
308:デフォルトの名無しさん
08/05/23 17:35:11
>>307
既存のプログラミング言語が多すぎて新しい言語が出てきても大して興味もでないのに、
ドキュメントまで見ようと思うわけがないだろ?w
ブログを見ていて、たまたま言語の紹介があったら読む程度。
言語に興味を持つか持たないかが決まるのはせいぜい5分程度だ。
まぁ、言語の特徴を説明しきれていない糞ブロガーが全部悪いわけだがwww
309:デフォルトの名無しさん
08/05/23 17:39:56
そうやってすぐ雑草を生やす
310:デフォルトの名無しさん
08/05/23 17:58:10
まぁ、小物アプリ作者の俺としてはネイティブ吐いてくれない時点でアウト
311:デフォルトの名無しさん
08/05/23 18:04:47
遅延評価以外これといった特徴無い言語に興味を抱いて、ここに来たの?
312:デフォルトの名無しさん
08/05/23 18:06:31
>>311
遅延評価が実装されている言語を挙げてみろ。
思いつく限りでは片手に収まる。
313:デフォルトの名無しさん
08/05/23 20:16:42
>>312
Haskell
Scala
Clean
UnLambda
314:デフォルトの名無しさん
08/05/23 21:21:34
>・JAVAのクラスファイルはくの?つまり所詮はJAVAの亜種ってこと?JAVAにはウンザリなんだよなぁ
>・クラス?なんだ、またオブジェクト指向言語か。ツマンネ。
さすがにこの釣り餌は、おいしそうじゃないな。
315:デフォルトの名無しさん
08/05/23 21:27:18
じゃあ食いつくなよw
316:デフォルトの名無しさん
08/05/23 21:29:16
ごめw
317:デフォルトの名無しさん
08/05/24 01:10:13
自分が食いついた餌の低質さをいくら口にしたところで、相手のレベルじゃなく
「そんなのに食いついた自分のレベル」の低さをアピールするだけなのにね(相手には1ポイント入る)。
318:デフォルトの名無しさん
08/05/24 01:17:48
ごめん、わるかったって
319:デフォルトの名無しさん
08/05/24 01:45:38
>>312
OCaml
pypy
320:デフォルトの名無しさん
08/05/24 03:59:21
>>306
頭悪そうだね
321:デフォルトの名無しさん
08/05/24 04:00:25
>>312
> 思いつく限りでは片手に収まる。
なんて無知な…
322:デフォルトの名無しさん
08/05/24 12:58:25
なんだここの奴ら・・・
まだHaskellスレの方が「できた」人間が多いぞ・・・
323:デフォルトの名無しさん
08/05/24 12:59:02
スレ住人の人間性を見てもわかる。
この言語はJavaの系列なんだな。
324:デフォルトの名無しさん
08/05/24 14:11:12
Javaじゃないのが最大の利点。
325:デフォルトの名無しさん
08/05/24 15:03:27
JVMに縛られたローカル言語
326:デフォルトの名無しさん
08/05/24 15:08:52
>>322-324
Haskellの名前だけ挙げてPD.Martin Oderskyに直接何も言えないのって恥ずかしいよな
327:デフォルトの名無しさん
08/05/24 15:09:00
もうJVMを次期windowsに埋め込めばいいんじゃね?
328:デフォルトの名無しさん
08/05/24 15:11:55
>>326
俺はscalaのこと何もしらねーもん^^
俺が批判してるのが言語scalaだと思っていたら大間違いだぜ。
お前らを含めたコミュニティと広報活動全般についてなんだよ。
「外」の人間がどう感じるか感想を言ったまでさ。
お前ら被害妄想ひどすぎwww
329:デフォルトの名無しさん
08/05/24 15:25:30
>>328
> 俺はscalaのこと何もしらねーもん^^
( ´,_ゝ`)プッ
330:デフォルトの名無しさん
08/05/24 15:42:11
>>329
頭の可哀想な子に触るの禁止ーーー!!
331:デフォルトの名無しさん
08/05/24 15:46:29
俺が思うに、コミュニティが健全であるためには、Javaとのつながりを完全に切った方がいいと思うんですよ。
>>329-330のような奴らをJavaに隔離すべきだと思うんです。
332:デフォルトの名無しさん
08/05/24 15:47:06
っていうかさ、数学出来ないやつが関数型言語さわるなよ^^^
333:デフォルトの名無しさん
08/05/24 15:47:46
「このマスにとまったら、ム板のScalaスレを荒らしてくる」
とかいうゲームなんだよ。
334:デフォルトの名無しさん
08/05/24 15:49:36
>>328
> お前らを含めたコミュニティ
2chをコミュニティ認定しないでくれ
335:デフォルトの名無しさん
08/05/24 16:49:54
>>334
馬鹿にそんなこと言っても始まらないだろ。
336:デフォルトの名無しさん
08/05/24 16:57:08
>>334
妄想がどうのと言い出す人が、むしろ自分こそ激しい妄想を前提としているのはよくある話。
つまり、自分が言われると致命的な指摘を、先に相手になすりつけておく手法。
337:デフォルトの名無しさん
08/05/24 17:01:32
自己投影化ですねわかります
338:デフォルトの名無しさん
08/05/24 18:38:40
>>328
人間やコミニティまで批判するのはやめような。
フレームにしかならないよ
339:デフォルトの名無しさん
08/05/24 18:53:07
>>338
ああ悪かったな。
「活動」を批判すべきだったなw
340:デフォルトの名無しさん
08/05/25 04:52:14
もう引くに引けなくなってるのねw
341:デフォルトの名無しさん
08/05/25 06:57:59
>>332
関数型さわって慣れてから、数学勉強するのでいいと思う。
342:デフォルトの名無しさん
08/05/25 22:50:07
興味持てないのにいちいち荒らしにくる>ツンデレ
343:デフォルトの名無しさん
08/05/26 02:18:42
というか、このところのScalaの取り上げられ方を見て
「なんか落ち着かない気分になった」Ruby信者では。
344:デフォルトの名無しさん
08/05/26 06:35:01
序盤に遅延評価を連呼していたあたり、遅延評価で切り捨ての子じゃないのか?
345:デフォルトの名無しさん
08/05/26 18:19:49
C#並にIDEの支援が充実してくれるといいんだが・・・・
;が省略可なんて仕様はIDEにとって厄介者にならないのだろうか?
346:デフォルトの名無しさん
08/05/26 21:27:38
;を書かなくていい言語が変に思うヤツは、プログラミング言語知らなさすぎ。
他の言語も知っといた方がいい。勉強しろ。
347:デフォルトの名無しさん
08/05/26 21:42:27
勉強の問題じゃないが。
348:デフォルトの名無しさん
08/05/26 21:49:59
アホが勉強しろとか言ってるの見ると滑稽でたまらん
349:デフォルトの名無しさん
08/05/26 21:50:08
そういや、VBのインテリセンスは完璧だったな
350:デフォルトの名無しさん
08/05/26 22:11:23
Haskell知ってるヤツと、Javaしか知らないヤツのコードを見ると、同じScalaでも全然違う。
あたりまえだが。
351:デフォルトの名無しさん
08/05/27 20:28:26
荒れてるなあ
とりあえず、Algebraic data type相当の機能はScalaにもあるよ
あと、Scalaの特徴と言ったらやっぱりimplicit conversion/parameterとか
Extractorとかじゃないかと個人的には思う
352:デフォルトの名無しさん
08/05/27 20:29:35
>>345
Visual StudioとかEclipse並にはまだ程遠いけど、Scalaで書き直された
新Scala Eclipse Pluginは結構補完頑張ってるよ。implicit conversionで
追加されたメソッドとかも補完してくれる。
353:デフォルトの名無しさん
08/05/27 20:48:15
>>343言い得て妙だな。まさにそんなのが身近にいるのでツボった。
354:デフォルトの名無しさん
08/05/27 22:15:41
またいつもの浮気癖か>Ruby信者
浮気するくせに浮気相手にRubyを求めるからなあ。
355:デフォルトの名無しさん
08/05/27 22:27:06
;と{ばかりの言語しかやったことない俺涙目
そんな人は何からやればいいですか?やっぱりHASKELLとかですか?
356:デフォルトの名無しさん
08/05/27 23:15:50
あと、SmalltalkとSchemeかな。
357:デフォルトの名無しさん
08/05/27 23:20:30
>>354信者のふりしたアンチに騙されてるんだよ。Rubyistは向上心のある人格者が多い。
358:デフォルトの名無しさん
08/05/27 23:42:38
間を取って、Ruby信者とRubyistは違うということでこの話はお開き。
359:デフォルトの名無しさん
08/06/02 18:18:44
>355
ここは forth で
360:デフォルトの名無しさん
08/06/10 10:17:32
本家ホムペ落ちてる!><;
・・・
大幅リニューアルということか?
361:デフォルトの名無しさん
08/06/10 20:53:23
>>360
いつまで落ちてたのか知らんが、もう復旧してるよ
Webページのデザインは以前と特に変化無し
362:デフォルトの名無しさん
08/06/10 21:15:06
1つだけ、def という適当な予約語が気に入らない
363:デフォルトの名無しさん
08/06/11 01:07:42
じゃあdefunで…
364:デフォルトの名無しさん
08/06/11 02:02:47
>>362
じゃあ、defineだったら良かった?予約語って特に頻繁に
使用するものは、省略形を使ってでも短くした方が良いと思う
どうせ予約語の数なんて知れてるし、覚えることの労力よりも、
短くすることのメリットの方が大きいと思う
365:デフォルトの名無しさん
08/06/11 02:05:03
あと、defって予約語自体は結構メジャーなものだと思う。俺が知ってる言語では
Ruby,Python,Groovy,Scala,Nemerle,が採用してるな。Nemerleはかなりマイナーだと
思うが
366:デフォルトの名無しさん
08/06/12 00:27:39
クラスの宣言がclassなんだから、
メソッドの宣言はmethodでいいじゃん。
367:デフォルトの名無しさん
08/06/12 03:41:56
def か fun がいいな
368:デフォルトの名無しさん
08/06/13 20:31:18
ユニットテストフレームワークは何を使っていますか?
JUnit、TestNG、SUnit、ScalaTest、と色々な選択肢があるので迷っています。
369:デフォルトの名無しさん
08/06/15 09:50:53
def, fun は飽きた。df, fn とかしてほしい。
370:デフォルトの名無しさん
08/06/15 10:54:52
ディスク残量の表示をファンクションキーに割り当てたいんですね。わかります。
371:デフォルトの名無しさん
08/06/15 10:58:37
Scala の関数プログラミングが理解できません。
ScalaTutorial.pdf を読んでみました。Martin Odersky は scala で OOP
language と functional programming を統合して compose program を目指
していると理解しています。
でも tunctional programming は状態を持たないこと、変更できるデータが
存在しないことが特徴です。関数呼び出しに side effect がないことが特徴
です。 Python は、既存の関数に side effect があることから本格的な
functinal programming には踏み込もうとしません。Scala では関数の
side effect をどうやって防いでいるのでしょうか?
私には Scala の関数プログラミングは side effect を許しているとしか思
えません。もしそうだとすると、scala の関数プログラミングは偽関数プロ
グラミングだとも言えると思います。
372:デフォルトの名無しさん
08/06/15 11:07:44
tunctional programmingと言われても…
Scalaは関数型言語じゃないよ。
373:デフォルトの名無しさん
08/06/15 11:34:45
機能として見た場合、参照透明自体はそんなに重要じゃないでしょ
並列処理とか遅延評価のときに都合がいいだけで
それに純粋な関数型言語っていわゆる関数型言語の中でも一部分であって
純粋じゃなかったら偽というのも極端な気がするけど
374:デフォルトの名無しさん
08/06/15 13:27:32
371 です。
>純粋じゃなかったら偽というのも極端な気がするけど
同意します。
でも、side effect 使いまくりの pattern match: match .. case ... を書
いていたら、それは偽関数プログラミングと言っても良いでしょう。そして
scala は、それを許しているように思えます。Stateless, immutable にす
るのはユーザーの努力に委ねられているように思えます。違いますでしょう
か。
375:デフォルトの名無しさん
08/06/15 13:59:00
それはプログラミングスタイルの話で、言語がどうかって話とはちょっと違う気がする。
376:デフォルトの名無しさん
08/06/15 13:59:56
ん?よくわからん
パターンマッチと副作用がどう関係してるんだ?
377:デフォルトの名無しさん
08/06/15 14:16:17
>>374
>それは偽関数プログラミングと言っても良いでしょう。
誰にも会わずに一人で呼ぶ分には別に良いんじゃない?
>Stateless, immutable にするのはユーザーの努力に委ねられているように思えます。
という言語は別にScalaが最初という訳じゃないというか歴史に何度も登場したものに思われ。
URLリンク(user.ecc.u-tokyo.ac.jp)
>関数的プログラミングとは,副作用ではなく,値を返すことで動作するプログラムを書くことだ.
>副作用とはオブジェクトの破壊的な変更(rplacaの使用等)や変数への代入(setqの使用等)を含む.
>副作用を使う数が少なく,その影響範囲もローカルなものであれば,
>プログラムの読み取り,テスト,デバッグは簡単になる.
>Lispのプログラムが必ずこの方法で書かれてきた訳ではないが,
>時を追ってLispと関数的プログラミングは次第に分かち難いものになってきた.
378:デフォルトの名無しさん
08/06/15 14:20:10
371 です
>パターンマッチと副作用がどう関係してるんだ?
Pattern match は functional programming の機能だと思います。ここで書
かれるコードは副作用のないものに限定されるべきだと思います。クラス・
データ・メンバーを設けて、それを操作するなんてしてはならないと思いま
す。そうでなかったら、compose program なんて実現できないでしょう。
379:デフォルトの名無しさん
08/06/15 14:22:31
>>378
> Pattern match は functional programming の機能だと思います
なこたーない
380:デフォルトの名無しさん
08/06/15 14:22:50
>>378
マッチングのときに副作用が起きるのがいけないということ?
それともマッチングの後の話?
compose programというのもよくわからんな
381:デフォルトの名無しさん
08/06/15 14:24:26
>>379
パターンマッチって関数型由来じゃないんだっけ?
382:デフォルトの名無しさん
08/06/15 14:28:51
>>378
要するにMartin Oderskyの謳い文句が煽りっぽくて気に入らないなら本人に言った方が良いよ。
副作用なしでプログラミングを行うという意味論的なテーマと、
単なるシンタックス(Pattern match)の議論がごっちゃになってる気がする。
「条件分岐の意味論」と「条件分岐が楽に書けるか」は全然別の話。
意味論の定義については偉い人に任せる。
URLリンク(d.hatena.ne.jp)
383:デフォルトの名無しさん
08/06/15 14:35:32
>>369
そこで defun ですよ。Lisp 的に。
384:デフォルトの名無しさん
08/06/15 14:50:53
join計算では破壊的変数操作は許されるのですか?
385:デフォルトの名無しさん
08/06/15 15:09:24
>>381
由来は知らんがPrologとかにもあるだろ
だいたいパターンマッチングで副作用を否定したらawkの立場はどうなるんだよw
386:デフォルトの名無しさん
08/06/15 15:15:20
371 です
>マッチングのときに副作用が起きるのがいけないということ?
>それともマッチングの後の話?
cast ... ==> の後に書かれるコードで副作用があるものを呼び出さないの意味です。
>compose programというのもよくわからんな
下の Martin Odersky 自身の説明から持ってきました。彼はプログラムの部
品化を本気で可能にしようとしています。
URLリンク(video.google.com)
URLリンク(lampwww.epfl.ch)
>パターンマッチって関数型由来じゃないんだっけ?
関数型由来由来でしょう。switch case 文で置き換えられる代物ではないでしょう。
387:デフォルトの名無しさん
08/06/15 15:24:02
Pattern match は functional programming の機能
と
Pattern match は functional programming に由来
は別物だぞ
関数型言語以外でもパターンマッチングが見られるから前者は間違い
wikipediaによるとKen Thompson(Unixの作者)が作ったエディタや
SNOBOLが由来だから後者も間違い
388:デフォルトの名無しさん
08/06/15 16:01:39
なんちゃって知識を抱えて、新規言語に刃向かいに来たボクちゃんってことで決着ですか?
389:デフォルトの名無しさん
08/06/15 16:24:50
>381
『由来』と『機能』は別物。
Lispみたいにパターンマッチ前提にしていない関数型言語は普通にあるよ。
逆にC++のオーバーロードとかだって一種のパターンマッチだし。
>378
そんなつまらん理由で『べき』なんて断定するもんじゃないよ。
・Pattern Matchに失敗したときの挙動が複雑すぎて制御不能
・追加したパターンマッチの影響が他の関数に波及するリスクがある。
状態の管理が困難になる
とか具体的な理由ぐらい書いたら?
状態(副作用)の本質についてはガウディ本が詳しいので、一回読んでみたら。
390:デフォルトの名無しさん
08/06/15 16:24:56
>>386
だったら、通常のifとパターンマッチを区別して、パターンマッチを特別視する理由は?
パターンマッチって便利なifみたいなもんだと思っているんだけど
391:デフォルトの名無しさん
08/06/15 16:50:12
なんか不毛な議論になっとるなー
>>374の言っているのに合致するのって、HaskellとCleanくらいじゃね?
あと、パターンマッチについては強力なif文という認識くらいで良いと思うなー
392:デフォルトの名無しさん
08/06/15 18:18:32
パターンマッチ>判定にパターンのみ使用可>判定に副作用無し
Scalaのクラスフィールドは暗黙のゲッタ・セッタ呼び出し>
ゲッタ・セッタの明示定義でもフィールド名のみで呼び出し>
意図せざる副作用はそれらで相殺可
393:デフォルトの名無しさん
08/06/15 19:56:33
OCamlだとパターンマッチ使って、
let (x,y) = mouse_point in
printf "%dだお, %dだお" x y
とかできるけど、scalaだとどんななんだろ。
394:デフォルトの名無しさん
08/06/15 20:01:40
scala> val (a, b) = (1, 2)
a: Int = 1
b: Int = 2
こんなのなら動くよ
395:デフォルトの名無しさん
08/06/16 00:39:39
Tuple以外でも使えるけど、なんか違和感があるな
case class TypeA(val a:Int,val b:Int)
val TypeA(a,b)=TypeA(10,20)
println(a)
println(b)
396:デフォルトの名無しさん
08/06/16 01:48:47
>>395
違和感あるってのは単にパターンマッチ自体に慣れていないという
事じゃないかなあ。Scalaに限らず、SML,OCaml,Haskellなどでも同様の
事はできるわけだし
397:デフォルトの名無しさん
08/06/16 02:36:04
ちなみに1行目caseつけるならvalは要らない。
398:デフォルトの名無しさん
08/06/16 03:02:29
case関係なくval要らなくね?
399:デフォルトの名無しさん
08/06/16 10:28:28
>>398
いや、要るでしょ。case classにしなきゃパターンマッチの
対象にできない。もちろん、別途unapply定義したobjectを
定義すれば別だけど
400:デフォルトの名無しさん
08/06/16 10:50:05
あ、ごめん、意図を取り違えていた。case classじゃなきゃ、そもそも
valのあるなしに関わらずパターンマッチできないわけで、確かに
必要ないわな。
401:デフォルトの名無しさん
08/06/16 11:37:31
細かいことだが、unapplySeqでもおk
val s = "([0-9]*)(.*)".r
val s(x,y) = "123いちにさん"
println(x) // 123
println(y) // いちにさん
402:デフォルトの名無しさん
08/06/16 20:00:45
case classでは暗黙にvalだが、case以外でもvalやvarで
コンストラクタ引数もメンバ化できるのだだだだだだ
403:デフォルトの名無しさん
08/06/18 03:44:07
Javaでは
String.class
のように書くと、対象のクラスのインスタンスを作成せずに
Class型のオブジェクトを取得することができますが、
scalaで同様のことをするにはどのように書けばよいのでしょうか?
404:デフォルトの名無しさん
08/06/18 04:35:06
つ type
405:デフォルトの名無しさん
08/06/18 05:15:02
つ classOf[String]
406:デフォルトの名無しさん
08/06/18 06:13:01
>>405
ありがとうございます。探していたのは正にこれでした。
>>404
type a = b で型の別名が作れるんですね。
今回探していたものとは違いましたが、参考になりました。
407:デフォルトの名無しさん
08/06/19 12:55:22
def getFunc(fun:Option[String => _ <: AnyRef]) = {
fun match {
case None => null
case Some(f) => (i:String) => f(i).notify()
}
}
上記のコードをコンパイルすると notify() の部分でエラーになりました。
fがStringを引数に取る関数であるというところまでは推論できているのに、
fの戻り値がAnyRefを継承した型である事を推論できないのはなぜなのでしょうか?
408:デフォルトの名無しさん
08/06/19 16:08:45
Existential Type周りの推論の仕組みは正直よくわかっていないので
確定的な事は言えないのですが、推論できていないというより、どうもバグな気がします
たとえば、上記のコードを
def getFunc(fun:Option[String => _ <: AnyRef]) = {
fun match {
case None => null
case Some(f) => (i:String) =>
val a: AnyRef = f(i); a.notify()
}
}
とすると、コンパイルが通ることから、少なくともf(i)の返り値が
AnyRefのサブタイプであることは(コンパイラによって)認識されている
ように見えます。色々試してみたところ、以下のようなコードの場合
val fun: Option[String => _ <: AnyRef] = Some((s: String) => s)
val Some(f) = fun
コンパイラが
error: fatal error: bad type: ?(class scala.tools.nsc.symtab.Types$WildcardType$)
というメッセージを吐いて落ちるようです。この辺の事から推測すると、
Existential Typeとパターンマッチを組み合わせたときのバグのような気がしますが、
本当のところはわからないので、本家ScalaのMLで聞いてみるのが良い気がします
409:デフォルトの名無しさん
08/06/19 16:10:42
回避策ですが、Function Typeは、返り値についてcovariant
annotationが付加されているので、わざわざExistential Typeを使わずに、単純に
def getFunc(fun:Option[String => AnyRef]) = {
fun match {
case None => null
case Some(f) => (i:String) => f(i).notify()
}
}
とすれば良いです。これで、ちゃんと
getFunc(Some((s: String) => s))
などのコードをコンパイルできます
410:デフォルトの名無しさん
08/06/19 23:16:10
>>408-409
いろいろと試して頂き、ありがとうございました。
Existential Typeを使わないようにすることで、無事、動くようになりました。
英語は苦手なのですが、
そのうち、本家ScalaのMLでの質問にも挑戦してみようと思います。
411:デフォルトの名無しさん
08/07/09 08:47:29
ScalaのEclipsePluginは、Eclipseのどのバージョンで動きますか?
412:デフォルトの名無しさん
08/07/09 23:33:30
URLリンク(www.scala-lang.org)
413:デフォルトの名無しさん
08/07/31 19:30:46
プログラミングしりとり
スレリンク(575板)l50
414:デフォルトの名無しさん
08/08/21 01:19:30
Webサイトが変わった
415:デフォルトの名無しさん
08/08/21 09:21:03
Renewal ですな
NetBeans 用プラグインも追加されてる > ヘルプも含めて IDE 本体のオール
日本語化は NetBeans の方がダンゼン速いので日本人にとっては良い知ら
せか
ただし 6.5 以上だけど (現在日本語はまだ GUI のみか日本語開発版のみ)
416:デフォルトの名無しさん
08/08/22 02:27:02
Scala本5月には出版っていってたのにまだプレプリントか。
次ページ最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
4896日前に更新/158 KB
担当:undef