最も美しいプログラミング言語は？ Part6

■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
垢版 |
2010/03/23(火) 16:44:08
最も美しいプログラミング言語を語れ

前スレ
http://pc12.2ch.net/test/read.cgi/tech/1262707694/
2010/03/31(水) 15:31:45
Haskellの勉強を始めたんだけど、遅延評価は美しいと思った。
2010/03/31(水) 15:45:11
>>76
純粋なILインタプリタかJITコンパイルするかはVMの実装の問題だからね
2010/03/31(水) 17:19:40
中間コード⇒ネイティブ
って最適化されてるん？
まさか中間コードを置き換えただけってことはないよね
2010/03/31(水) 17:41:06
http://msdn.microsoft.com/ja-jp/library/ht8ecch6(VS.80).aspx
MSIL (Microsoft Intermediate Language) は、実行する前に .NET Framework の Just-In-Time (JIT) コンパイラによってネイティブ コードに変換する必要があります。
ネイティブ コードは CPU 固有のコードで、JIT コンパイラと同じコンピュータ アーキテクチャ上で実行されます。
JIT コンパイルは、実行時に呼び出されることがないコードがあることを考慮しています。
つまり、ポータブル実行可能 (PE) ファイル内にあるすべての MSIL をネイディブ コードに変換するために時間とメモリを費やすのではなく、
実行時に必要になった MSIL を変換し、その結果生成されたネイティブ コードを保存して、以降の呼び出しで利用できるようにしておきます。
2010/03/31(水) 17:47:18
>>64
http://msdn.microsoft.com/ja-jp/library/ht8ecch6.aspx
ネイティブ イメージ ジェネレータ (Ngen.exe) を使用して、
JIT コンパイラと同様に MSIL アセンブリをネイティブ コードに変換します。

ただし、Ngen.exe の動作は、以下の 3 つの点で JIT コンパイラの動作と異なります。
・MSIL からネイティブ コードへの変換を、アプリケーション実行中ではなく、実行前に行います。
・メソッドを 1 つずつではなく、アセンブリ全体を一度にコンパイルします。
・生成したコードを、ディスク上のファイルとしてネイティブ イメージ キャッシュに保持します。
2010/03/31(水) 17:56:58
はじめからネイティブコンパイルすりゃいいのに
2010/03/31(水) 17:57:09
>>79
getter, setterをインライン展開するぐらいには最適化する。デバッガ上で実行すると最適化しないので、誤解をしている人もいるけど。
2010/04/02(金) 17:24:15
最近Haskellが美しく感じられてきた
2010/04/03(土) 00:22:40
いいことじゃないか
2010/04/05(月) 22:47:52
止まったね
2010/04/05(月) 23:18:55
ちんこも別の所で遊んでるしな
2010/04/06(火) 04:04:08
Haskellはflipとかポイントフリースタイルとかそういうのをやんなければ
かなり読みやすい部類だと思うぜ
簡潔なラムダとか関数適用演算子とかは他の言語にも欲しい
2010/04/06(火) 22:02:41
flip はまぁ分かるが、Haskell のポイントフリースタイルは
冗長な記述が省かれて読みやすくなる場合も結構あるぞ。

たとえば演算子をリフトアップで定義する場合。
instance (Num a) => Num (Hoge a) where
  (+) = liftA2 (+)

この場合 (+) x y = liftA2 (+) x y なんて冗長で、
こんな定義が何行も続くとかえって読みにくいだろ。
2010/04/21(水) 12:47:14
Scalaは？
2010/04/21(水) 18:34:12
Scala?ないない
2010/04/21(水) 18:53:42
Simplicityは必要条件だな。
2010/04/21(水) 21:05:59
>>91

友人がメッチャScalaプッシュしてくるんだけど、どう断れば良いか
分からん。（興味無いとか、ピンと来ないとか言ってはいるんだが）

ちなみにおいらはLisperで最近Haskellに手を染め始めたところ
友人はPerl使い。

なんかビシッと言う方法無い？
2010/04/22(木) 00:33:32
>>93
「俺、副作用が嫌いなんだよね」
2010/04/22(木) 00:59:55
「Javaな人とはお付き合いできません！」とか
2010/04/22(木) 07:04:55
>>93
Scalaって欲張り過ぎでしょ
二兎を追う者一兎も得ず
2010/04/24(土) 18:38:13
美しいプログラミング言語 ＝ 実用性がない
っていうと、みんな怒っちゃう？
2010/04/24(土) 18:45:08
ああ機械語は0と1だけで単純かつ美しいが実用性はないよな
2010/04/24(土) 20:28:33
"Everything should be made as simple as possible, but no simpler." -- Albert Einstein
2010/04/24(土) 23:57:20
>>97

Scalaは汚いってことか？
2010/04/26(月) 02:05:32
KISS
102デフォルトの名無しさん
垢版 |
2010/05/06(木) 10:31:41
objective-Cが最強。
103デフォルトの名無しさん
垢版 |
2010/05/06(木) 12:55:17
Macなんか使ってる時点で人生終了ｗ
2010/05/06(木) 13:56:41
いやいや、美しさを競うなら圧倒的に

mac >>>>>>>>>> windows

でしょ。
2010/05/06(木) 14:19:04
Windowsなんて比較対象に入らない
Linuxだよ
2010/05/06(木) 14:28:25
もしくは日本語ベーシック。
2010/05/06(木) 16:50:29
>>104
ハードとソフトの違いもわからない馬鹿ですね＾＾
2010/05/06(木) 17:46:35
>>103
ハードとソフトの違いもわからない馬鹿ですね＾＾
2010/05/06(木) 21:16:42
パイソンだろ。
2010/05/07(金) 13:35:40
>>109

ぱいそんなんて子供の玩具だろ？
2010/05/07(金) 15:13:43
ではPythonがほぼ標準で入ってるLinuxなんかも子供の玩具なのか〜
2010/05/07(金) 15:21:38
>>111

標準で入ってる　＝　子供の玩具
2010/05/07(金) 16:08:32
Pythonはちょっと複雑なことをさせると
途端に汚なくなる
114デフォルトの名無しさん
垢版 |
2010/05/07(金) 18:50:32
どっちにしろ >>102 は池沼
2010/05/07(金) 20:39:02
美しさを競うなら圧倒的に

windows >>>>>>>>>> mac

でしょ。
2010/05/07(金) 23:17:45
Windowsってたくさんあるからね
2010/05/08(土) 00:52:50
１番美しいのは Haskell で結論出たんじゃないの？

これから 2番目に美しい言語を語ろうず　これはなかなか難しいぞな

ココでそれからWindowsとかMacとか言ってるヤツはな、全然面白くないから
死ね　な？　氏ねでも市ねでもなく　死ね　ＯＫ？
2010/05/08(土) 01:06:33
現状ではHaskellでFAに賛成
2010/05/08(土) 02:55:26
流行りものに弱いよねみんなｗ
Haskellの次って何だと思う？俺それが一番美しいと思う
2010/05/08(土) 03:11:01
次に来るのはHaskellにできないことができる言語だと思う
2010/05/08(土) 05:43:49
>>119
Curry. 関数論理型言語。Haskellと違って不完全情報の記述ができる。
2010/05/09(日) 19:36:03
>>119
実質、現存するまともな言語って、C++ぐらいだろ。
個人的にはOcamlが好き。
2010/05/09(日) 20:11:36
C++がまとも、ってのはどういう意味のまともなん?
2010/05/09(日) 20:31:15
規格化されてる。複数の実装が存在する。ユーザーの数。ライブラリ数。
書籍。プログラムの速度。この辺で、まとも。
まともでないのは、よく分からない、かつ、速度が遅くて、
メリットの不明な機能の作成に熱心な方々。
2010/05/09(日) 21:03:08
その基準だと、C++は FORTRAN、COBOL、C に負けているな。
2010/05/09(日) 21:19:13
項目によっては、Javaにも負けているかも。
2010/05/09(日) 21:24:58
数値計算、金融計算、OS、言語処理系、組み込み系で考えたら、
他の言語の方が特化しているのは確かだろうけど、
多方面で扱うこと考えたらC++じゃないか
OOPやテンプレートで簡潔に書ける場面は存在するし
純粋な何々指向は、その縛りでかえって複雑になったり、
後々で不純物が混じったり。
なら、初めから不純物含んだものの方が目的達成するのがはやそう
という、プログラムの組めない奴の妄想
メリットが不明なのは、boostのconceptとか、lambdaとかファンクタとか
2010/05/09(日) 21:40:59
スレタイの「美しさ」とは無関係な議論だな
もうスレタイ的な意味の議論は終了してしまったから他の話をやってるだけか

templateは俺は嫌い
総称型、ダックタイピング、コンパイル時計算、メタプログラミングと
少なくとも4種類の目的の異なる仕事を（汚く／無理やり）扱っているのが
好きになれない
そもそも本当に全てが必要か、という問題もあるわけだが

OOPのための言語としてもC++はあまり良くないよね
純粋じゃない、というのはさておき、GC無いのとオブジェクトが
自己記述的じゃないのがOOP言語として見るとちょっとな
2010/05/09(日) 22:12:16
最近にublasを知って、templateが好きになったんだが、たぶん、
すぐに嫌いになるかもしれない。普通に配列で書く方が速そうだし。
数値計算するのに、C++は不要だろうが視認性が良いんだ。
GCのある言語だと数値計算、やたら遅いイメージが拭えないし。
純粋なOOPに、どれだけメリットと恩恵があるのか疑問。
SmalltalkよりJavaが勝利したあたりで、それほど必要だとも思えない
2010/05/09(日) 22:17:48
>>129
Javaも純粋じゃないけど、GCとまともに使える例外があって
オブジェクトが自己記述的だから、C++よりはずっと自然にOOPしやすいでしょ
まあJavaはJavaで融通が利かないから俺は好きじゃないんだけどな
2010/05/10(月) 00:19:45
GCはプログラミングがルーズになるし制御できない部分が気持ち悪い
作ったものくらい自分で始末しろとｗ
2010/05/10(月) 00:33:43
>>124
速度に目を瞑ればJavaScriptが割といい線いってるな
2010/05/10(月) 00:39:59
ブラウザを除けばJavaScriptのユーザは０だけどな
2010/05/10(月) 01:27:14
>>122
OCamlはまともでないほうに入るんじゃないか？
ユーザ少ないし、速度も静的言語では遅いほうだろ
2010/05/10(月) 01:32:52
OCaml全然詳しくねーけど、チラ見した感じではなーんか微妙

関数型のくせにstringがmutableとか、意味不明なセンスの悪さをそこかしこに感じる
structural subtyping一見良さそうだけど、実行時情報ねーから
ダウンキャスト（風のこと）はできないっしょ？
"O"とかいいつつ、あれで下手にOOの真似事やろうとすると怪我すると思う

あとは、ありがちだけどライブラリが未成熟で、Unix系以外ではあんま使い物に
ならないっぽいよね
2010/05/10(月) 01:53:47
OCamlの良いところはな、OCamlかじってなんとも言えない気持ちの悪さ
を感じた時にHaskellかじると、なんだ関数プログラミング言語って実は
分かりやすいじゃんって思えるところﾅﾝﾃﾈ
2010/05/10(月) 01:59:47
一般的なプログラミング言語は計算能力において等価だから、
一昔前の言語で能力的には既に十分。

残された問題は、複雑なロジックをいかに簡潔に記述できるか、
それが他人にも理解されるかというだけ。
進歩の方向性はそれくらいしか考えられない。

2010/05/10(月) 12:03:50
>>136
これ正に俺だ
最初にHaskell触った時は全然理解できなかったけど
OCamlを触った後に再びHaskell触ったら割とすんなりなじむことができた
OCamlの表記法はなんともなじめなかったけど
2010/05/10(月) 20:50:48
言語進化とか言いながら、単に暗黙の前提仮定が増えただけだったりする。
ルールを知らないと読むこともできない。言語解説書バカ売れ。
制限は減ったのかもしれないけどな。
2010/05/10(月) 22:05:42
Haskel,lispが勝利したのは英語圏と米で流行ったからとか言ってみるテスト
2010/05/10(月) 23:11:16
>>140

おれHaskell好きだけど　勝利してんの？　マジで？
2010/05/10(月) 23:13:06
いつ流行ったんだよw
2010/05/10(月) 23:43:39
流行ったっていうか、関数型の中でもメジャーで市民権を得ているあたり
2010/05/10(月) 23:52:43
>>133
rhinoとかspidermonkey,seedなんてマイナーそうな実装あるけど
あれもブラウザでしか動かないのか？
2010/05/11(火) 05:36:39
>>139
グローバルスタンダードってそういうものでしょ。
2010/05/12(水) 01:02:35
遅レスだけど…

>>97
美しい物を美しいまま使いこなせるかどうかは人による
2010/05/12(水) 05:55:53
半年くらい前にここ覗いた時は何かJavaキチガイコテが連投してた気がするんだけど、
あいつは結局あの後どうなったん？
2010/05/12(水) 06:24:21
>>147
今はScalaにはまってる
ttp://pc11.2ch.net/test/read.cgi/prog/1262227165/
2010/05/12(水) 10:54:05
>>148
thx
超大雑把に流し読みしたが、誰かがガチで叩いたのかｗ
面白い流れを見逃したかもしれんなぁ

つーかよくあんなの真面目に叩く気になったもんだ、良くも悪くもすげーな
まぁこんなとこ見てる俺が言えた義理じゃねーけど
2010/05/13(木) 10:40:08
一番美しいと思うのはアセンブラとLISP
2010/05/13(木) 12:47:17
アセンブラなら CPUにもよるだろ
2010/05/13(木) 12:57:23
彼は特定のアセンブラ言語ではなく、アセンブラ言語の本質的な特性を好んでいるのだろう。
lispだって複数の言語の総称だ。
2010/05/14(金) 03:10:01
通訳無しにプロセッサと話せるのはアセンブラだけだしな
厳密には機械語だが、まぁ本質は同じだ
2010/05/14(金) 11:11:42
>>153が遠回しに>>152を否定しててわろた
2010/05/14(金) 11:29:35
間接的に>>150を否定してるんじゃないか？

アセンブラ=コンピュータの挙動を厳密にコントロールできる
機械語=バイナリ
という違いがある
2010/05/14(金) 12:21:59
>>154-155
別に否定してないぞ
アセンブラと機械語は違うけど、美しさで言えば同質と言っていいんじゃね
2010/05/14(金) 12:44:29
まあ Ook! と Whitespace は、美しさで言えば同質。
2010/05/14(金) 13:45:22
あの辺はみんな同じだな
まぁ見た目重視言語の一派だから、見た目の違いが大事になる可能性はあるが
2010/05/14(金) 13:46:57
×見た目重視
○見た目も重視する

つーかこれで置換すると俺がバカな文章書いたことがよく分かるな
2010/05/14(金) 14:29:29
アセンブラと言ってもmasm系とgas系では書式違う。
cpuやアーキテクチャによって使える命令違うから、アルゴリズムをスマートに書けるかどうかも変わってくる。
ノイマン型でなければ逐次実行もままならない。

だからアセンブラが共通して持つ本質的な美しさなんてありえない。
2010/05/14(金) 14:42:53
>>160
> コンピュータの挙動を厳密にコントロールできる
2010/05/14(金) 14:44:34
>>161
言語の美しさじゃない
2010/05/14(金) 15:01:16
このスレを見ると、何をもってして美しいと感じるか、それは人それぞれなんだぁと
つくづく思う、だが○○オメーはダメだ！



Ｑ．○○に当てはまるプログラミング言語を挙げなさい
2010/05/14(金) 15:04:42
>>161
できない。
命令を同時実行する仕組みのせいで機械語の実行順序が入れ替わることがある。
2010/05/14(金) 15:07:47
masmだろうがgasだろうが本質は一緒だろ
機械語とアセンブラが違うのかどうかの話の後にそんなことを言ってる時点で的外れ

全てのアセンブラに共通する点というのはある（同じ名前でくくられてるんだから当然）
その共通する点について美しいと思うなら、それはアセンブラを美しいと感じることに等しい
2010/05/14(金) 15:11:53
そりゃざっくりすぎるんじゃないか
2010/05/14(金) 15:12:27
>>164
ツッコミがいかにも浅いなぁ。CRISC以降は同時実行云々どころじゃねーだろｗ
どう言おうが、プロセッサが用意したI/Fを直接叩けるのはアセンブラだけだわな。
他の言語では「最適化」でも、アセンブラでは「クロックを削る」というような感覚に
近付く。それが美しいといえば美しいんじゃねーの。少なくとも共通して特異だ。
2010/05/14(金) 15:14:09
>>166
>>160のざっくりすぎる意見と同じパラダイムで返したからな
2010/05/14(金) 16:01:05
>>167
それは機械語が美しいんであって、アセンブラはそのおこぼれにあずかってるだけだよね。
大体、アセンブラとしての役割が何一つ評価されてないじゃん。
2010/05/14(金) 16:11:36
マクロアセンブラのマクロの力を知らぬな。そういう自分ももう忘れたが。
171デフォルトの名無しさん
垢版 |
2010/05/15(土) 00:39:43
この"美しい"の意味を明確に定義しとく必要があるでしょ。ソースコードの見た目が美しい（他者が読みやすい）
のか、用途が美しい（曖昧だけど）のかどうなのか・・・・

ハード方向でＣを使ってレジスタ、アドレス演算ができるようになればＣがいいんじゃないｗ　破壊力は抜群。
同じプログラムを組むのでも、素人とプロが組むのでは実行速度も行数もまったく異なる、天と地の差を見せ付ける
ことができるのがＣ言語。そこに美しさを感じる僕ですｂ
2010/05/15(土) 09:57:14
コードが美しい、ってのはわかりやすいけど、言語が美しい、ってのはなあ。
2010/05/17(月) 08:59:02
分からん奴は参加しなくてよし
2010/05/17(月) 10:11:55
>>172
言語それぞれ、目指してる美しさが違うだろうね

それと同じで、プログラマの目指してる美しさもどれぞれ違う

それだけでしょ
2010/05/17(月) 10:17:22
最も美しい言語は Haskell と定義されている。
2010/05/17(月) 22:56:30
美しい言語鈴木を誰か作ればいい
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況