Lisp Scheme Part41 (855ﾚｽ)
上下前次1-新
12(1): SCHEME餃子 ◆8X2XSCHEME 2018/10/07(日)19:43 ID:77445U4A(2/2) AAS
>>11
そう。
13: 2018/10/08(月)11:15 ID:s+P1p206(1) AAS
>>12
ありがとうございます、やってみます！
14: 2018/10/09(火)08:07 ID:dwdUWAaf(1/2) AAS
依存型についてのテキストが出てるよ。
Daniel P. Friedman, David Thrane Christiansen "The Little Typer"
Boro Sitnikovski "Gentle Introduction to Dependent Types with Idris"
Edwin Brady "Type-Driven Development with Idris"
Adam Chlipala "Certified Programming with Dependent Types"
Aaron Stump "Verified Functional Programming in Agda"
Idris と Pie言語 ではλ関数とπ関数が同じように導入されているので相互に勉強できるのがいい。
15: 2018/10/09(火)15:29 ID:dwdUWAaf(2/2) AAS
π算法
Robin Milner "Communicating and Mobile Systems: The Pi Calculus"
Davide Sangiorgi, David Walker "The Pi-Calculus: A Theory of Mobile Processes"
Matthew Hennessy "A Distributed Pi-Calculus"
π算法はもともとCCSの拡張としてRobin Milnerらによって考案された、並行計算（π算法はλ算法の並行版）を表すモデルであり、プロセス計算の一種。
16: 2018/10/11(木)04:45 ID:kRD0TmZA(1) AAS
A Little Taste of Types - Code Mesh 2017 - David Christiansen
動画ﾘﾝｸ[YouTube]
A Little Taste of Dependent Types 2018 - David Christiansen
動画ﾘﾝｸ[YouTube]
17(2): 2018/10/16(火)23:34 ID:D0vhWqBd(1) AAS
Gaucheのリファレンスマニュアル日本語版pdfはないのでしょうか？
18: SCHEME餃子 ◆8X2XSCHEME 2018/10/17(水)01:03 ID:BPtTatWV(1) AAS
>>17
Gauche のソースツリーの doc ディレクトリで make pdf コマンドを実行すれば、
pdf 形式のドキュメントのビルドプロセスが走ることになってるよ。
ただ、 TeX を使うみたいなんで、 TeX を導入するのが面倒ってことはあるかも。
公式からは PDF 形式の日本語マニュアルは出してないっぽいね。
19: 17 2018/10/17(水)21:27 ID:MYn8m29E(1) AAS
ありがとうございます。挑戦してみます。
20: 2018/11/19(月)21:32 ID:Ebw/7CYM(1) AAS
はちみつ餃子しかいないスレになってしまった
21: 2018/11/19(月)22:07 ID:FLKvqXWs(1) AAS
よく見ろ別人だぞ。
まさか同一人物なわけがあるまい。
22: はちみつ餃子 ◆8X2XSCHEME 2018/11/19(月)22:58 ID:EqyITMeu(1) AAS
話題がなさすぎるので近頃は C++ スレばかりにいるんだけど、
なんか面白い話題があればどんどん書いてよ。
23: 2018/11/20(火)01:03 ID:Bz9DRyU5(1) AAS
そんなとこにいたら頭がガベージまみれになるぞ
24: 2018/11/22(木)08:37 ID:idUjP7lK(1) AAS
東方算法騎士団ってどうやって入るの
25: 2018/11/22(木)11:14 ID:PNeid+Qy(1) AAS
Jupyter with Schemeってどう？
26: 2018/11/25(日)11:38 ID:yUG3gEBB(1) AAS
Try Jupyter で試してみ
27: はちみつ餃子 ◆8X2XSCHEME 2018/12/21(金)18:19 ID:2lFdE5qB(1) AAS
Gauche 0.9.7 がリリースされたよ〜
外部ﾘﾝｸ[html]:practical-scheme.net
28(1): 2019/01/08(火)17:40 ID:n4V6aMpj(1) AAS
WindowsでMinGWがインストールされておらずMSVCだけある状態で
C言語のhelloworldプログラムでgauche.hをインクルードすると
gauche.h内の#include <sys/time.h>の部分でエラーになります。
C言語からGaucheを利用する場合はMinGWがインストールされていることが前提という解釈であっているでしょうか？
29: はちみつ餃子 ◆8X2XSCHEME 2019/01/08(火)21:15 ID:YHlgtmk9(1) AAS
>>28
はい。
Gauche をビルドするためには MinGW というか (MinGW を含めた開発環境であるところの) MSYS2 を要求しています。
外部ﾘﾝｸ[adoc]:github.com
少し古いバージョンは (MSYS2 ではなく) MSYS を要求していました。
gauche.h もその開発環境に依存しているので、 gauche.h を include した C のコードは MSVC ではコンパイルを通りません。
つまり、 Gauche の拡張モジュールや Gauche を呼び出すプログラムを C で書こうとするなら、
Windows では MSYS2 を使う方法しか想定されていません。
ただ、過去に「VC++用ポート」を試みた記事が WiLiKi に残っていますし、
ある程度は動いていたようですので、手間を書ければ全く不可能なことというわけでもなさそうです。
外部ﾘﾝｸ[cgi]:practical-scheme.net
Gauche の実態は単なる DLL ですから、Gauche 自体を MSVC でコンパイルするのは難しくても
Gauche を呼び出すプログラムを MSVC で作る分には頑張ればなんとかなる可能性は充分にあるように思います。
30: はちみつ餃子 ◆8X2XSCHEME 2019/02/01(金)16:27 ID:jPYNOX7L(1) AAS
Racket のコアを chez のに置き換える話が以前に出てたけど、
もうほとんどできたみたいね。
次のリリースあたりからはそれになるのかな。
31: はちみつ餃子 ◆8X2XSCHEME 2019/02/05(火)04:44 ID:VmiK9YL/(1) AAS
R7RS-Large の Tangerine Edition は議論・投票への参加者が少なすぎてちょっとアレな状況みたいね。
積極的に参加してあげて！
32(2): はちみつ餃子 ◆8X2XSCHEME 2019/02/08(金)19:33 ID:U10rELvE(1) AAS
界隈でなんだかちょっとだけ ISLISP の人気が出てきてるというか
ここ最近になっていくつか新しい実装が発表されてるんだけど、
使ってみた人いる？
33(1): 2019/02/10(日)03:09 ID:ZBYYirVg(1) AAS
>>32
新しい実装ってどれのことよ？
34: 2019/02/11(月)02:00 ID:eS7AzULV(1) AAS
>>33
Githubを検索したらこんなん出てきた
外部ﾘﾝｸ:github.com
外部ﾘﾝｸ:github.com
外部ﾘﾝｸ:github.com
35: 2019/02/11(月)03:37 ID:JleTlNG9(1) AAS
日本製ばっかりなんだ
36: 2019/02/11(月)23:47 ID:sKwQy+pT(1) AAS
そりゃ日本人が中心になって考えた規格だし
37: はちみつ餃子 ◆8X2XSCHEME 2019/02/12(火)01:54 ID:jYEPbswv(1) AAS
へー。 そうなのかと思って経緯を調べてみたりしてたんだが、
その過程で ISLISP の IS は International Standard の略だと見つけた。
id.nii.ac.jp/1001/00003362/
仕様にも書いてないから知らんかった。
もっと古い時代に STANDARD LISP という名前の Lisp があったそうで、
外部ﾘﾝｸ[pdf]:www.softwarepreservation.org
それ故に標準化にあたって単に Standard とは名乗れず、
Common Lisp が Common Lisp という名前になったのもこのあたりの事情があるらしい。
単に名前を付けるだけでも変な苦心をしてるんだな。
38(1): 2019/02/12(火)02:23 ID:xM7yD0R2(1) AAS
イスラミックステートLISP
処女とヤリまくれるらしいぞ！
39(1): はちみつ餃子 ◆8X2XSCHEME 2019/02/13(水)00:07 ID:VqRfiaP4(1/2) AAS
>>38
イスラミックステートにかけるなら、
支配地域が縮小してるらしいぞというところに引っかければよかったんじゃないかと思ったが、
縮小どころか元々たいして使われてなかったということに気づいた。
40: はちみつ餃子 ◆8X2XSCHEME 2019/02/13(水)00:10 ID:VqRfiaP4(2/2) AAS
>>39
大してして使われていない (少なくとも私の観測範囲では) と思ってるけど、
今後の発展があれば面白いなとも思ってることは付け加えておく。
(ディスってるわけじゃないんだからね！ ってこと)
41(1): 2019/02/14(木)21:27 ID:jKX9xayO(1) AAS
金払わないと正式な仕様書読めないのか、と諦めた記憶がある＞ISLISP
ドラフト？は読めたけど
上下前次1-新書関写板覧索設栞歴
あと 814 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.012s