関数型言語でGUIのメモ帳・電卓は作れるのか？

1 ：デフォルトの名無しさん：2009/11/03(火) 16:35:43

関数型言語を勉強してわかったわ。
あれは数学。

普通のプログラム言語と同じような文字使っているけど違う。
小説家と始末書書いている人が同じ文字を使って書いているけど、
始末書かいていても、小説家とは言わない。
それと同じ。

どっちが上とか難しいとかそういう話じゃない。
まったく違うもの。数学だから数学者は数学（関数型言語）が得意なのが
理解できる。でも数学者はプログラム言語（C++とか）でGUIでメモ帳作ったり、
そういうことが得意なわけじゃない。こっちはプログラマの専門分野

わかったらなんかすっきりしたｗ

2 ：デフォルトの名無しさん：2009/11/03(火) 16:38:59

関数型言語でOSは作れるのか？

つまりメモリ管理、プロセス管理
リソース管理（ハードウェアの状態管理）が
できるのか？

3 ：デフォルトの名無しさん：2009/11/03(火) 16:43:04

己を知らざることや、知らぬことを
知っているように空想して知っていると思い込むことは
狂気にもっとも近い。

— クセノフォーン

4 ：デフォルトの名無しさん：2009/11/03(火) 16:48:17

お前はクセノフォーン なのか？

5 ：デフォルトの名無しさん：2009/11/03(火) 17:07:27

　 　 　 ｨ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ﾞt,
　　 　 彡;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ヽ
　　 　 ｲ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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　　 ｀ヽ､..,,__,, :ィ"::　　　,ﾉ:: : : : : : : : : : : :＼
　ﾉ: : : : : : : : : : :丶　　　: : ::::::::: : : :　　 /: : : : : : : : : : : : : : : :＼

6 ：デフォルトの名無しさん：2009/11/03(火) 17:15:01

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

7 ：デフォルトの名無しさん：2009/11/03(火) 17:52:16

haskellで作ってなかったかな
気のせいかな
気のせいだったんだろうな

8 ：デフォルトの名無しさん：2009/11/03(火) 19:43:03

つ House
http://programatica.cs.pdx.edu/House/

9 ：デフォルトの名無しさん：2009/11/03(火) 19:50:09

関数型言語云々が問題なんじゃなくて
TkとかGUIライブラリがあるかどうかだけじゃないのか

10 ：デフォルトの名無しさん：2009/11/03(火) 20:32:31

たぶん気のせいだよ、うん
ttp://wxhaskell.sourceforge.net/screenshots.html

11 ：デフォルトの名無しさん：2009/11/06(金) 01:55:41

関数型言語で、（他の言語で書かれた）GUIライブラリを使うことはできても、
GUIライブラリを書くことは無理だろうな。

12 ：デフォルトの名無しさん：2009/11/06(金) 02:48:51

Common Lisp は CLX という Xlib に相当するライブラリをネイティブで実装してるよ
CLIM というツールキットも実装されてる

まぁ Common Lisp を関数型言語に入れるのは反則な気もするけどね

13 ：デフォルトの名無しさん：2009/11/06(金) 11:37:28

gui以前に、実行途中で外部との対話が発生するドメイン全般に向いてなくね？

14 ：デフォルトの名無しさん：2009/11/06(金) 23:30:27

Yi http://haskell.org/haskellwiki/Yi

15 ：デフォルトの名無しさん：2009/11/07(土) 13:00:53

関数型言語って関数型言語で書かれているのかな？

16 ：デフォルトの名無しさん：2009/11/07(土) 13:24:03

>>13
どうしてそう思う？

>>15
関数型言語で書かれたソースを実行可能ファイルにするコンパイラが
関数型言語で書かれているかと言うことなら、少なくとも Haskell はそう。
他の関数型言語は知らん。

17 ：デフォルトの名無しさん：2009/11/09(月) 01:11:50

対話ロジックなんて基本的に手続きの塊だろ。
わざわざ関数型言語で書く理由が見つからない。

18 ：デフォルトの名無しさん：2009/11/09(月) 01:15:12

自己増殖電卓

19 ：デフォルトの名無しさん：2009/11/09(月) 12:53:17

>>17
他の関数型言語の事は知らないけど、
Haskell なら利点のいくつか（遅延評価や型推論など）を享受しながら、
対話ロジックを綺麗に作る術（副作用部分の分離）が用意されている。

Haskell でプログラムしている時、
対話ロジックの部分だけ他の言語を使うなんて事はしない。
Haskell だけで全部作った方が綺麗にまとまる。
わざわざ手続き型の言語を使う理由が見つからない。

20 ：デフォルトの名無しさん：2009/11/09(月) 13:56:33

結局は、一行一行処理していく方式と、そうでない方式
どちらが人間から見て簡単に動作するものを作れるかということなんだろうな。

システムってのは外界に影響を与えるもの、つまり、画面に表示したり、HDDに書き込んだり、
という副作用が目的なので、副作用を記述しやすい言語のほうが
簡単に目的を達成できる。

アセンブラでも物は作れるが作りにくいのと同様
数学的な問題（副作用が要らない）なら関数型言語でも作りやすいが
副作用を多用する場合は、作りにくい。

普通のプログラマが難しく感じるのは、副作用があるものを作る脳になっているからなのだろう。
仕事の内容が違う。

21 ：デフォルトの名無しさん：2009/11/09(月) 14:02:50

純粋関数型言語なら無理

22 ：デフォルトの名無しさん：2009/11/09(月) 17:36:13

純粋なのは言語であって実装でないから可能

23 ：デフォルトの名無しさん：2009/11/09(月) 18:44:04

>>20
> 副作用を記述しやすい言語のほうが簡単に目的を達成できる。

一般的にそう思われていることは分かっているが、
もしかしたら誤解されているかもしれないので言っておくと、
Haskell は副作用があるものを記述する事も「簡単」だぞ。
頑張ればできるとか、難しくはないというレベルじゃなくて、
普通に書ける（多用したって変わらん）。

また、一行一行処理していく方式の方がシステムに向いているとは
一概には言えないのではないか？
たとえば、Haskell は宣言的に記述する作法だが、
画面に表示したり、HDDに書き込んだりというのを
宣言的に記述した方が分かりやすい場合も多々あると思うが。

誤解ではなく分かって言っているのならすまん。
それなら単に感じ方の個人差か、一般大衆を代表して言っているのであろうから
何も言うことはない。