#Great. Just yesterday, after I already posted the question here, I found Makiki! :) I quickly reviewed it and I like it! The only downside for me is that it doesn't have any HTML templates mechanism. It would be really nice if it had that feature, so that HTML responses don't always have to be constructed "manually" using the text.html-lite library, for example. By the way, is there a way to make it so that functions from text.html-lite don't have to be called with the html: prefix? It's very verbose if I always have to write html:table, html:a, html:div instead of table, a, div.
#These days I tend to use SXML to construct HTML response. Check out examples/post.scm in Makiki, for example. SXML is just a S-expression so you can easily construct programatically.
#Mr. Shiro, as an experienced Scheme developer, can you share your workflow with us? Do you use Emacs? If so, do you use any additional tools or plugins that make scheme programming easier for you (like Geiser or something else)? I'm really interested in how to achieve the optimal programming experience, working in Gauche.
#I just use Emacs + Quack. Old school. I should learn newer ways (and adapt Gauche to work with them smoothly). I'd rather ask what new geenration developers are using.
#What is the fastest way to exit from a lexical scope (i.e. break from a loop)? In my benchmark it's call/cc, but shouldn't partcont be faster?
#Right now, capturing partial continuation requires all activation frames in the VM stack area to heap, and that cost is not smaller than full continuations. I have some ideas bouncing around to optmize it.
#http-getすると "ERROR: Can't load certificates from system certificate store" と言われるのですが、どうすればいいですか？macOSで (tls-ca-bundle-path) の値は system 、opensslはbrewしてあります。
#Gaucheは0.9.14です。
#ext/tls/gauche-tls.h の SYSTEM_CA_CERT_PATHS に cacert を探すパスが書いてありますが、
そこに見つからないということのようです。
(tls-ca-bundle-path "/etc/ssl/cert.pem")
を指定すると、一応 macOS で動作するようでした。(GitHub Actions で確認)
#ありがとうございます。(tls-ca-bundle-path "/etc/ssl/cert.pem") で動作しました。
#SYSTEM_CA_CERT_PATHSに書かれている /usr/local/etc/openssl/cert.pem にもファイルはあるのですが、そちらを指定すると以下のような別のエラーになりました。
#*** ERROR: mbedtls_x509_crt_parse_file() failed on "/usr/local/etc/openssl/cert.pem": HMAC_DRBG - Too many random requested in single call (3)
Stack Trace:
_______________________________________
0 (report-error e)
1 (%tls-connect tls host p proto)
2 (connect-socket)
at "/usr/local/share/gauche-0.98/0.9.14/lib/rfc/http.scm":754
3 (start-connection conn)
at "/usr/local/share/gauche-0.98/0.9.14/lib/rfc/http.scm":759
4 thunk
5 (with-connection conn (^ (i o) (request-response i o method u ...
at "/usr/local/share/gauche-0.98/0.9.14/lib/rfc/http.scm":303#ふーむ、証明書の数が多すぎるっぽい? mbedtlsはbrewで入れたやつですか?
#そのようです＞mbedtls
#こっちでも試してみます。
#Gauche で、任意個の引数を取れる手続から、アリティを固定数に制限した手続を作るには、どうすればよいでしょう？（ブランクがありすぎて全然鼻が効かない状態です）
#MIT-Scheme で
(define (restrict-arity proc nargs)
(hash-table-set! arity-table proc nargs)
proc)
と定義されている、restrict-arity を Gauche で定義することを考えています。#Software Design for Flexibility にそんな例がありましたねー。
#ああ。まさにそれです。
#listから引数を3つに制限したlist3を作るようなことってあまりlisp的にやらない気がする(メリットがなさそう)のですが、どういう場所で活躍するのでしょう?(コンパイル時のチェックを期待など?)。 引数の個数チェックということだと、((lambda (a b c) (list a b c)))と書けばよさそうですが……
#などと思いましたが、Software Design for Flexibilityにある例なのですね。用途が思考実験ということならmit schemeのコードはポータブルに見えます。
#アリティをポータブルにプログラム内で取得するのが肝ということだと、srfiに何度か提案されていますが、没になってるみたいです。 https://srfi.schemers.org/srfi-191/srfi-191.html #アリティをnargsで与えたいなら、マクロにするか、一旦可変長で受け取ってランタイムに引数の数をチェックするかですかねえ。
#マクロ展開時にnargsがわかるならマクロが実用的には良いと思うんですが。
##実装より先に考えることいろいろありそう。そちらをもうすこし整理してみようと思います。
#Gauche Scheme 800 Star おめでとうございます。(変動はあるでしょうが…)
#ありがたや。目指せ1000 (いつになるやら)
#(use gauche.generator)
(define (restrict-arity proc n)
(let ((argument-list (generator->list gensym n)))
((eval
`(lambda (p)
(lambda ,argument-list
(p ,@argument-list)))
(find-module 'gauche))
proc)))
(define (foo . p) "foo") ; 可変長の手続き
(define bar (restrict-arity foo 3)) ; アリティを制限
(bar 1 2 3) ; これは OK
(bar 1 2 3 4) ; これは NG#こんな感じかな？
#ああ、確かにそのevalの使い方は安全ではありますね。でもevalかあ…
Gauche > Archives > 2024/09/19