関数型言語でGUIのメモ帳・電卓は作れるのか？
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2009/11/03(火) 16:35:43あれは数学。
普通のプログラム言語と同じような文字使っているけど違う。
小説家と始末書書いている人が同じ文字を使って書いているけど、
始末書かいていても、小説家とは言わない。
それと同じ。
どっちが上とか難しいとかそういう話じゃない。
まったく違うもの。数学だから数学者は数学（関数型言語）が得意なのが
理解できる。でも数学者はプログラム言語（C++とか）でGUIでメモ帳作ったり、
そういうことが得意なわけじゃない。こっちはプログラマの専門分野
わかったらなんかすっきりしたｗ
0002デフォルトの名無しさん
2009/11/03(火) 16:38:59つまりメモリ管理、プロセス管理
リソース管理（ハードウェアの状態管理）が
できるのか？
0003デフォルトの名無しさん
2009/11/03(火) 16:43:04知っているように空想して知っていると思い込むことは
狂気にもっとも近い。
— クセノフォーン
0004デフォルトの名無しさん
2009/11/03(火) 16:48:170005デフォルトの名無しさん
2009/11/03(火) 17:07:27彡;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ヽ
ｲ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;r''ｿ~ヾ:;;;;;;ﾞi,
t;;;;;;;ﾘ~｀ﾞヾ､;;;;;;;;;;;;;;;;;;;;ノ i,;;;;;;!
ﾞi,;;;;t ヾ-‐''"~´_,,.ィ"ﾞ ヾ;;f^! ／￣￣￣￣￣￣￣￣￣￣￣￣
ﾄ.;;;;;》 ＝ニｰ-彡ﾆ''"~´,,...,,. ﾚ')l. ＜ おまえは何を言っているんだ
tﾞヾ;l __,, .. ,,_ ,.ﾃ:ro=r''"ﾞ !.f'l. ＼＿＿＿＿＿＿＿＿＿＿＿＿
ヽ.ヽ ｰ=rtσﾌ= ; ('"^'=''′ ﾘﾉ
,,.. -‐ゝ.>、 ｀ﾞﾞﾞﾞ´ ,' ヽ . : :! /
~´ : : : : : ｀ヽ:. ,rf :. . :.: j ､ . : : ト､.、
: : : : : : : : : : ヽ、 /. .ﾞｰ:､_,.r'ﾞ: :ヽ. : :/ ヽ＼、
:f: r: : : : : : : : !丶 r-､=一=''ﾁ^ ,/ !:: : :｀丶､_
: /: : : : : : : : :! ヽ、 ﾞ ''' ''¨´ ／ ,i: : : l!: : : : :｀ヽ､
〃: :j: : : : : : : ﾞi ｀ヽ､..,,__,, :ィ":: ,ﾉ:: : : : : : : : : : : :＼
ﾉ: : : : : : : : : : :丶 : : ::::::::: : : : /: : : : : : : : : : : : : : : :＼
0006デフォルトの名無しさん
2009/11/03(火) 17:15:01言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
0007デフォルトの名無しさん
2009/11/03(火) 17:52:16気のせいかな
気のせいだったんだろうな
0008デフォルトの名無しさん
2009/11/03(火) 19:43:03http://programatica.cs.pdx.edu/House/
0009デフォルトの名無しさん
2009/11/03(火) 19:50:09TkとかGUIライブラリがあるかどうかだけじゃないのか
0010デフォルトの名無しさん
2009/11/03(火) 20:32:31ttp://wxhaskell.sourceforge.net/screenshots.html
0011デフォルトの名無しさん
2009/11/06(金) 01:55:41GUIライブラリを書くことは無理だろうな。
0012デフォルトの名無しさん
2009/11/06(金) 02:48:51CLIM というツールキットも実装されてる
まぁ Common Lisp を関数型言語に入れるのは反則な気もするけどね
0013デフォルトの名無しさん
2009/11/06(金) 11:37:280014デフォルトの名無しさん
2009/11/06(金) 23:30:270015デフォルトの名無しさん
2009/11/07(土) 13:00:530016デフォルトの名無しさん
2009/11/07(土) 13:24:03どうしてそう思う？
>>15
関数型言語で書かれたソースを実行可能ファイルにするコンパイラが
関数型言語で書かれているかと言うことなら、少なくとも Haskell はそう。
他の関数型言語は知らん。
0017デフォルトの名無しさん
2009/11/09(月) 01:11:50わざわざ関数型言語で書く理由が見つからない。
0018デフォルトの名無しさん
2009/11/09(月) 01:15:120019デフォルトの名無しさん
2009/11/09(月) 12:53:17他の関数型言語の事は知らないけど、
Haskell なら利点のいくつか（遅延評価や型推論など）を享受しながら、
対話ロジックを綺麗に作る術（副作用部分の分離）が用意されている。
Haskell でプログラムしている時、
対話ロジックの部分だけ他の言語を使うなんて事はしない。
Haskell だけで全部作った方が綺麗にまとまる。
わざわざ手続き型の言語を使う理由が見つからない。
0020デフォルトの名無しさん
2009/11/09(月) 13:56:33どちらが人間から見て簡単に動作するものを作れるかということなんだろうな。
システムってのは外界に影響を与えるもの、つまり、画面に表示したり、HDDに書き込んだり、
という副作用が目的なので、副作用を記述しやすい言語のほうが
簡単に目的を達成できる。
アセンブラでも物は作れるが作りにくいのと同様
数学的な問題（副作用が要らない）なら関数型言語でも作りやすいが
副作用を多用する場合は、作りにくい。
普通のプログラマが難しく感じるのは、副作用があるものを作る脳になっているからなのだろう。
仕事の内容が違う。
0021デフォルトの名無しさん
2009/11/09(月) 14:02:500022デフォルトの名無しさん
2009/11/09(月) 17:36:130023デフォルトの名無しさん
2009/11/09(月) 18:44:04> 副作用を記述しやすい言語のほうが簡単に目的を達成できる。
一般的にそう思われていることは分かっているが、
もしかしたら誤解されているかもしれないので言っておくと、
Haskell は副作用があるものを記述する事も「簡単」だぞ。
頑張ればできるとか、難しくはないというレベルじゃなくて、
普通に書ける（多用したって変わらん）。
また、一行一行処理していく方式の方がシステムに向いているとは
一概には言えないのではないか？
たとえば、Haskell は宣言的に記述する作法だが、
画面に表示したり、HDDに書き込んだりというのを
宣言的に記述した方が分かりやすい場合も多々あると思うが。
誤解ではなく分かって言っているのならすまん。
それなら単に感じ方の個人差か、一般大衆を代表して言っているのであろうから
何も言うことはない。
0024デフォルトの名無しさん
2010/06/21(月) 22:02:440025デフォルトの名無しさん
2010/07/27(火) 00:48:240026デフォルトの名無しさん
2010/07/27(火) 03:04:190027デフォルトの名無しさん
2010/07/27(火) 08:11:010028デフォルトの名無しさん
2011/02/16(水) 16:37:24つまりそういうことだ。
0029デフォルトの名無しさん
2011/02/16(水) 23:42:01つまりどういうことだ?
0030デフォルトの名無しさん
2011/02/25(金) 08:29:29.510031デフォルトの名無しさん
2011/02/26(土) 08:39:45.180032デフォルトの名無しさん
2011/02/26(土) 09:33:50.600033デフォルトの名無しさん
2011/02/26(土) 13:32:32.30まだ続いているのか頓挫したのか、研究レベルで終わったのか知らんが
0034デフォルトの名無しさん
2011/02/26(土) 19:39:59.03kwsk
ICOT?
0035デフォルトの名無しさん
2011/02/26(土) 19:49:03.60http://programatica.cs.pdx.edu/House/
0036デフォルトの名無しさん
2011/05/03(火) 05:13:59.31>33 >8 ?
8が大人気 （２ヶ月ぶり）
0037デフォルトの名無しさん
2011/05/03(火) 05:23:41.84xmonad | the tiling window manager that rocks
http://xmonad.org/
論文用で、メンテナンスされてなさそう・・・とおもったらまだやってた。
NixOS: A Purely Functional Linux Distribution
http://nixos.org/
Amthing is a multi-threaded GUI library for Objective Caml.
http://forge.ocamlcore.org/projects/amthing/
Pure functional じゃないのも混じってるような気がする。
0038デフォルトの名無しさん
2011/05/04(水) 12:17:06.060039デフォルトの名無しさん
2011/05/06(金) 02:58:15.730040デフォルトの名無しさん
2011/05/06(金) 07:14:42.25ただ、関数型らしく宣言的に記述しようとすると、今はまだちょっと難しいな
どうしても手続き型っぽくなって汚くなる
0041uy
2011/05/15(日) 21:47:36.75チューリング完全こそ、整ってるもののしょぼい
>>2とかかいていけやしない
方法はあると思うけど、それは手続き型でかくよりもさらに難易度は高くなる
本当に読みやすいの？それ
0042デフォルトの名無しさん
2011/05/15(日) 22:02:15.70ちゃんと宣言的に書かれており、かつ関数型言語に慣れていれば読みやすい
でなければ読めない
0043天使 ◆uL5esZLBSE
2011/07/06(水) 09:44:51.17（（（（（（（ [読む＝全貌を把握する] と考えると ）））））））（キリッッッ!
---------(キリッ!!キリッキリッッ!
---------
（（（（（（（（（ ちゃんと宣言的に書かれており、かつ関数型言語に慣れていれば読みやすい ）））））））））(キリッッ
---------
（（（（（ でなければ読めない ）））））(←キリッッッッキリッッッッ！！！キリッッッッ！！！！キリッ!!
0044大天使 ◆uL5esZLBSE
2011/07/06(水) 11:18:42.59そうじゃなくて、関数型でかくと「冗長」するって話だ それさえも分からない ゴミか お前はゴミだな
OSかいたことないだろお前
知ったかは死ね
かけない事はなくても、手続き型でかいたほうがソースコード量が小さくメンテもしやすい類のアルゴリズムは
手続き型でかいたほうが賢い、 よって関数型しかかけない言語なんてのは玩具なんだよ
OO言語で、関数型Progするのが現代において最も、良い方法
0045天使 ◆uL5esZLBSE
2011/07/06(水) 11:54:11.38(((((((((((( そういうレベルの話なら、Haskell も gtk や wxWidgets が使えるから作れる ))))))))))))（キリッッッッ！！キリッッッッ!!!!ッッッ！！！
----
(((((((((((( ただ、関数型らしく宣言的に記述しようとすると、今はまだちょっと難しいな ))))))))))))（キリ！！！！キリッッ！！！！キリ!!!キリッッ！！！！キリッ！！！！ッ！！
----------------(きリッッッ！！キリ！！！きリッ！
----------------
((((((((((( どうしても手続き型っぽくなって汚くなる )))))))))))（キリッッッ！！！！きリッ!!!キリッッッ!!キリ！！！キリッッッッ!!!
ゴミグラマってバカだったんだな
0046デフォルトの名無しさん
2011/09/23(金) 21:52:14.31プログラミングHaskellに電卓の例が載ってるよ
ライフゲームの例も
0047デフォルトの名無しさん
2011/09/27(火) 22:36:29.770048デフォルトの名無しさん
2012/01/27(金) 06:03:21.360049デフォルトの名無しさん
2012/01/27(金) 06:11:08.250050デフォルトの名無しさん
2012/01/27(金) 06:55:05.20やる気ある奴ならその部分だけでも関数型言語で
作るべきじゃないのか
0051デフォルトの名無しさん
2012/01/27(金) 16:01:42.620052デフォルトの名無しさん
2012/03/26(月) 11:28:19.160053デフォルトの名無しさん
2012/03/26(月) 12:13:59.660054デフォルトの名無しさん
2012/03/26(月) 12:45:51.50それ以外はみなメモ帳ではなく、メモができそうな何かだ
0055営利利用に関するLR審議中＠詳細は自治スレへ
2012/04/07(土) 03:32:43.03かわいそうに
0056営利利用に関するLR審議中＠詳細は自治スレへ
2012/04/07(土) 06:47:48.12むしろそれをメモ帳と言っちゃ失礼だｗ
0057営利利用に関するLR審議中＠詳細は自治スレへ
2012/04/07(土) 08:08:56.87勝手に A ⊃ B 前提の話をし始める >>55 みたいな香具師って
きっと馬鹿なんだろうな
文系板とかマ板ならそういうのをよく見かけるが
ム板で見かけるとは思わなかった
005854
2012/04/07(土) 13:36:24.91勝手に話を発展させるのは、俺はべつに構わんが
いちいち断られると、むしろうざい
>>55
逆に訊くが、メモ以外に何に使うんだ？
プログラミングは VisualStudio や Eclips が総合的に最も使いやすいし、
文章を紡ぐなら一太郎がいい、ワードをプロセッシングするなら Word がある
DTP なら QuarkXPress や InDesign だろ
Emacs や vi がメモ以外に最も適している分野に出会ったことがない
マクロ次第で色々な環境が作れるが、使いやすさの点でどれも中途半端だ
GUI がない Linux サーバーの設定などで、
やむを得ず Emacs や vi を使う事は良くあるが、適しているとは思えんな
その場合ならもっとセキュアで分かりやすい方法があるかもしれんのに、
それを研究せず右に倣えになっているような気がしないでもない
パソコン上でのメモなら、Emacs や vi が最強だ
特に Emacs は抜群に高いカスタマイズ性で非常に使いやすい
立ち上がりも工夫すれば早くなるし
0059営利利用に関するLR審議中＠詳細は自治スレへ
2012/04/07(土) 17:20:50.96emacsの利点は最強である事じゃなく、emacsという環境で開発もメールもコマンドの実行も完結出来るという点
一つ一つは最強の機能じゃなくても、使うのに不都合じゃ無ければ、単体機能が最強のツールをバラバラに使うよりも使い勝手が良い
006054
2012/04/07(土) 18:50:31.98俺は余程じゃないと最強とまでは求めないけど、
少なくとも「emacs でもできる」というのでは使いにくいと感じるタイプだ
0061デフォルトの名無しさん
2012/05/07(月) 01:00:20.50■ このスレッドは過去ログ倉庫に格納されています