struct timespecが存在する.ccファイルをC++として認識する(と思われる) __tryと__finallyがない__try1と__except1はうまいこと動かない#pragma commentは動かないws2_32とか$ curl https://raw.githubusercontent.com/ktakashi/scheme-env/master/bin/install.sh | sh $ export PATH=$HOME/.scheme-env/bin:$PATH $ scheme-env install chibi-scheme $ scheme-env switch chibi-scheme@master $ scheme-env runこれでChibi Schemeをソースからビルドしてかつ使用可能にしてくれる。ソースからビルドするので、各処理系が要求する依存関係は予めインストールされている必要がある（流石にそこまで面倒見れない）。ちなみに最初のShellスクリプト以外は全部Scheme（Sagittarius）で書かれている。
(rfc tls)でbitbucket.orgに繋げられない(append L (list ...)) となっているところは cons + reverse に書き換えられる気がする。O(n^2) が O(n) になるからかなり性能に響くはず。 https://t.co/f14prELLP7— Kei (@tk_riple) 4 January 2018
cons + reverse】cons + reverseはまぁよく使われるパターンで、この名前で呼べば大体どんなものかの想像がつくくらいだ(と思う)。ツイートで言及しているQiita記事にある手続きfをこのパターンで書き直してみた。(define (f/cons+reverse init n)
(let loop ((i 0) (r init))
(if (< i n)
(loop (+ i 1) (cons (tent_func (car r)) r))
(reverse r))))
nthが何をしているものなのかよくわからなかったが、おそらく(nth -1 L)はリストの最終要素を取り出すものと予想。(そのように実装して元の手続きを動かしたらそれっぽい値返したし。)appendがなくなるので、O(n^2)がO(n)になる。一時リストの生成が嫌ならreverse!を使えば生成されるリストもたかだか一個になる。doで以下のように書くこともできる。
(define (f/cons+reverse init n)
(do ((i 0 (+ i 1)) (r init (cons (tent_func (car r)) r)))
((= i n) (reverse r))))
どちらがいいかは好み次第。
reverseがないので保留と言われた(記憶、Twitter上で見つからん)のだが、reverseはこんな風に書ける。(define (reverse l)
(do ((l l (cdr l)) (r '() (cons (car l) r)))
((null? l) r)))
RnRS準拠の処理系なら絶対持ってるはずだが、自作の処理系だったという可能性も踏まえてみる。 (積極的に無駄な処理をするコードを直していくスタイル)unfold】unfold という手続きがある。これを使うと上記は以下のように書ける。(define (f/unfold init n)
(unfold (lambda (x) (< (car x) 0))
cdr
(lambda (x) (cons (- (car x) 1) (tent_func (cdr x))))
(cons n init)))
こっちは多少メモリ効率が悪い(シードの生成に必ずペアを作ってる)し、unfoldの使用方法が多少変則的な感はある。(append result (list ...))みたいなコードを見つけたら積極的に書き換えていきたいところである。
D = (2018, 1, 8, 0, 0, 0)だけど、これと同等のユリウス暦は2017年12月26日 D = (2017, 12, 26, 0, 0, 0)になる。更に、それぞれの calendar が時間の演算を持つというもの。例えば calendar A では一日が30時間だとすると、その calendar における日付B+1日というのは Gregorian calendar では1日と6時間を足したことになるが、この差異を calendar がよしなにしてくれるというもの。（意図を正しく理解していれば）D+1d = (y, m, d+1, H, M, S) = (y, m, d, H + 24, M, S) = ...(calendar:days->date calendar:julian 0) ;; -> D(-4714 11 24 12 0 0)タイムゾーンTZはまぁ、普通にタイムゾーンで、SRFI-19の date は D+TZ になる。
;; これはエラー (make-date 0 0 10 11 4 1 2018 #f) ;; これは常にUTC (make-date 0 0 10 11 4 1 2018 0) ;; これだと常にUTC+1:00、夏時間どうする？ (make-date 0 0 10 11 4 1 2018 3600)とりあえず全ての日付はUTC+0にして扱うという手もあるのだが、バッチ処理を日付が変わるときに行うというようなことが面倒になる。また、このSRFIには日付のみ、時間のみを扱う術がない。例えば11時15分という時間と
(make-date 0 0 15 11 0 0 0 0)は等価か？あるいは2018年1月4日は(make-date 0 0 0 0 4 1 2018 0)と等価であるかということである。答えはケースバイケースであるとは思うが、多くの場合はNoではないだろうか？+-------+ +-------+
| date | | time |
+---+---+ +---+---+
| |
+-----+-----+
|
+-----+-----+ +-------------+
| date-time | | zone-offset |
+-----+-----+ +------+------+
| |
+-------+--------+
|
+----------+----------+
| offsetted-date-time | <-- SRFI-19 dateと等価
+---------------------+
時間が常にローカル時間かというのはわからないので、offsetted-timeみたいなのもあっていいかもしれない。timeだと名前が被るから別名にする必要も有りそうだが。で、日付によらない時間(H,M,S)の演算をclockと考えよう、と思ったんですが、calendarにH,M,Sを持たせても良い気がしてきました。7時間の5倍を35時間と扱うか1日と11時間と扱うか、も同じものの表現が複数あると考えればいいし…そうするとsrfi-19 dateはcalendarのD=(y,m,d,H,M,S)の正規形+TZですね。— Shiro Kawai (@anohana) 4 January 2018
+------------+
| timezone |
+------------+
| - Offset |
+------+-----+
+------------+ |
| date | |
+------------+ |
| - timezone |<>---------+ +------------+
| - calendar |<>------------+ | date-tuple |
+------------+ | +------------+
+----------+----------+ | -(Y,M,D) |
| calendar | +-----+------+
+---------------------+ |
| - YMD: date-tuple |<>--------+
| - HmS: time-tuple |<>--------+
+---------------------+ |
+-----+------+
| time-tuple |
+------------+
| -(H,m,S) |
+------------+
calendarは演算手続きの集合にして、こうした方がいいだろうか？
+--------------+ +------------+ +------------+
| calendar | | date-tuple | | time-tuple |
+--------------+ +------------+ +------------+
| - operations | | - (Y,M,D) | | - (H,m,S) |
+------+-------+ +------+-----+ +------+-----+
| | |
| +-------------------+ | |
| | local-date | | |
| +-------------------+ | |
| | - YMD: date-tuple |<>-------------+ |
+-----------<>| - calender | |
| +-------------------+ |
| |
| +-------------------+ |
| | local-time | |
| +-------------------+ |
| | - HmS: time-tuple |<>----------------------------+
+-----------<>| - calendar |
+-------------------+
:
so on
:
どっちもしっくりこない感じがするなぁ。もう少し考える必要がありそうだ。
(define server-socket (make-server-socket "8080"))そして、こんな風に待ち受ける。
(let loop ()
(let ((socket (socket-accept server-socket)))
(loop))
特に何もしないソケットがリークしまくるサーバーの出来上がり。(define first-line
'(: "GET" (+ space)
(-> path (: "/" (+ ascii))) (+ space)
"HTTP/" (: num "." num)))
こんな感じで使う
(cond ((regexp-matches first-line line) =>
(lambda (m)
(let ((path (regexp-match-submatch m 'path)))
;; get the content of the path
))))
サブマッチに名前は付ける必要はないが、あるとわかりやすい。close-portを使い、call-with-portを使えば、正常処理後にはポートを閉じてくれる。Socketの開放はsocket-shutodownやsocket-closeを用いる。(define (finish) (close-port in) (close-port out) (socket-shutdown socket *shut-rdwr*) (socket-close socket))inとoutはソケットポートである。
(thread-start! (make-thread (lambda () (handle-request socket))))処理系によってはスレッドの作成は高価な場合があるので、可能であればスレッドプール等は作っておきたいところ。R6RS処理系かつSRFI-18をサポートしているのであれば、拙作の
(util concurrent)が使える。string-append等を使う必要がある。文字列操作は高価な場合があるので(例：参照にO(n)かかる)、使える場面ではポートを使いたいところ。(import (scheme base)
(scheme write)
(scheme file)
(srfi 18)
(srfi 106)
(srfi 115))
;; Assume all ASCII
(define (read-binary-line in)
(let ((out (open-output-string)))
(let loop ((b (read-u8 in)))
(case b
((#x0d)
(case (peek-u8 in)
((#x0a) (read-u8 in) (get-output-string out))
(else (write-char (integer->char b) out) (loop (read-u8 in)))))
(else (write-char (integer->char b) out) (loop (read-u8 in)))))))
(define (handle-request socket)
(define in (socket-input-port socket))
(define out (socket-output-port socket))
(define first-line
'(: "GET" (+ space)
(-> path (: "/" (+ ascii))) (+ space)
"HTTP/" (: num "." num)))
(define (finish)
(close-port in)
(close-port out)
(socket-shutdown socket *shut-rdwr*)
(socket-close socket))
(define (http-error status e)
(define message (string->utf8 "Not okay"))
(report-error e)
(write-bytevector (string->utf8 "HTTP/1.1 ") out)
(write-bytevector (string->utf8 (number->string status)) out)
;; laziness...
(write-bytevector (string->utf8 " BOO\r\n") out)
(write-bytevector (string->utf8 "Content-Type: text/plain\r\n") out)
(write-bytevector (string->utf8 "Content-Length: ") out)
(write-bytevector (string->utf8
(number->string (bytevector-length message))) out)
(write-bytevector (string->utf8 "\r\n\r\n") out)
(write-bytevector message out)
(finish))
(guard (e (else (http-error 500 e)))
(let ((line (read-binary-line in)))
(cond ((regexp-matches first-line line) =>
(lambda (m)
(let ((path (regexp-match-submatch m 'path))
(bout (open-output-bytevector)))
(guard (e (else (http-error 404 e)))
(let ((file (string-append "." path)))
(call-with-port (open-binary-input-file file)
(lambda (in)
(define buf (make-bytevector 1024))
(let loop ((n (read-bytevector! buf in)))
(write-bytevector buf bout 0 n)
(when (= n 1024)
(loop (read-bytevector! buf in))))))))
(write-bytevector (string->utf8 "HTTP/1.1 200 OK\r\n") out)
(write-bytevector (string->utf8 "Content-Type: text/plain\r\n") out)
(let ((bv (get-output-bytevector bout)))
(write-bytevector (string->utf8 "Content-Length: ") out)
(write-bytevector (string->utf8
(number->string
(bytevector-length bv))) out)
(write-bytevector (string->utf8 "\r\n\r\n") out)
(write-bytevector bv out)
(finish)))))
(else (http-error 403 #f))))))
(define server-socket (make-server-socket "8080"))
(display "Starting server on port 8080") (newline)
(let loop ()
(let ((socket (socket-accept server-socket)))
(thread-start! (make-thread (lambda () (handle-request socket))))
(loop))
もう少し簡単に書きたいと思ったら、Sagittariusに付属している(net server)を使うか、拙作Paellaを使うと簡単にHTTPサーバが書ける。後者はサーバというよりはWebアプリが簡単に書けると言うべきか。
(import (rnrs) (srfi :1) (srfi :18) (time))
(define data (iota 10000))
(let ((threads
(time (map (lambda (i)
(thread-start! (make-thread (lambda () i)))) data))))
(assert (equal? data (map thread-join! threads))))
スレッドの生成時間のみを測りたいので、こんなに単純。っで以下が結果(環境 Ubuntu 16.04 64bit Intel® Core™ i7-6820HQ CPU @ 2.70GHz × 8):$ sash thread-bench.scm ;; (map (lambda (i) (thread-start! (make-thread (lambda () i)))) data) ;; 2.626753 real 3.012000 user 0.256000 sys改良版
$ ./build/sagittarius -Dbuild thread-bench.scm ;; (map (lambda (i) (thread-start! (make-thread (lambda () i)))) data) ;; 0.239091 real 0.120000 user 0.224000 sysちょっと出来過ぎな感じもするが、効果はありっぽい。まぁ、生成数をひとけた減らすと３倍程度の改善になるので、メモリの圧迫が減っただけとも言える（それが目的なのではあるが）。
(import (rnrs) (util concurrent))
(define actor
(make-shared-queue-channel-actor
(lambda (input-receiver output-sender)
(let loop ()
(let ((in (input-receiver)))
;; do whatever with the input
(output-sender (result)) ;; if output should be sent
(loop))))))
(actor-send-message! actor 'message) ;; send a message to the actor
(actor-receive-message! actor)
わざわざチャンネルに使われているキュー名が入っているのは以下の理由から(sagittarius sandbox)というライブラリに実装。使い方は以下：
(import (rnrs) (sagittarius sandbox))
(define s "b")
(define (test) (string-ref s 0))
(with-sandbox
(lambda ()
(define-in-sandbox '(rnrs) (string-ref s i) #\a)
(test)))
;; => #\a
;; (test)
(playground ((string-ref '(rnrs) (lambda (s i) #\a)))
(test))
;; => #\a
コメントアウトされてるtestのコメント外すと予定と違う値が返ってくるが、既知のバグということで。理由としてはサンドボックス内で作られる束縛は指定されたライブラリのみ作用するけど、上記のtestで使われてるstring-refは(rnrs)が依存しているライブラリの一つで定義されてるので、一回サンドボックス外で実行するとGLOCに置き換わって定義されてるライブラリを直で見に行くから。VM内でGLOCに置き換える部分をもう一段ラップして元の識別子を残すようにすれば解決できるんだけど、性能への影響が怖いのとそこまで需要があるかなぁという気持ちが混じりあってとりあえず保留。性能に影響がでないうまい方法を思いついたらやることにする。(import (rnrs) (srfi :1) (sagittarius mock))
(define (test) (make-list 3 #f))
(let ((status (mock-up ((srfi :1))
(test) (mock-status-of 'make-list))))
(mock-status-arguments-list status))
;; => ((3 #f))
(mock-up ((srfi :1))
(mock-it '(srfi :1) (make-list . args) '(a a))
(make-list 3 #f))
;; => (a a)
まだAPIが荒いのでもう少し練らないととは思いつつ、テストに使えそうな感じではある。実装に綺麗い目な黒魔術(絶対にドキュメント化されないという意味で)を多用しているのは、まぁご愛敬ということで。
| 月収（額面） | 月収(手取り) | 年収額面 |
|---|---|---|
| 2000 | 1695 | 25920 |
| 3000 | 2228 | 38880 |
| 4000 | 2736 | 51840 |
| 5000 | 3244 | 64800 |
| 6000 | 3726 | 77760 |
| 7000 | 4170 | 90720 |
| 8000 | 4614 | 103680 |
| 9000 | 5058 | 116640 |
| 10000 | 5502 | 129600 |
| 参考:Dutch Income Tax Calculator | ||
話題に乗っかって職場でKotlinを使い始めたのだが、Javaと比べると記述量がかなり減っていい感じである。他のJVM言語と比べてJavaのライブラリが格段に使いやすいし、逆もいける。IntelliJが異常に重くなることを除けば、ありかなぁと思わせるな。— Kei (@tk_riple) 1 June 2017
| Level | US | EU |
|---|---|---|
| Senior | $150k-200k | €60-75k |
| Full stack | $100k-150k | £45k - £60k |
| Junior | $120k | £35k - £45k |
詳細後はテスト項目があるけど、それは割愛。
ユーザからの携帯番号を受け取り、認証コードを受け取った携帯に送る。ユーザーにリクエストIDとステータスを返す。ユーザーはSMSで送られた認証コードとリクエストIDをサーバに送る。認証コードが一致すればリクエストIDと成功を返す。一致しなければリクエストIDと不一致を返す。なおUIは考えなくてもよい。
Acceptance Criteria
- SMSを送るには以下のAPIを使う（３ｒｄパーティーAPI）
- リクエストはデータベースに保存する
- デモ可能である
transcoded-port等の手続きでバイナリポートを文字列ポートに変換する。ここまでは特に問題ないだろう。(display "\xFF;\xD8;")期待する挙動としては
"\xFF;\xD8;"がそのまま出力される、つまり0xFF 0xD8として2バイト出力されることを期待するだろうか？"ÿØ"となり、これのバイナリ表現はUTF-8で0xC3 0xBF 0xC3 0x98になるだろう。勘がいい方は気づいたかもしれないが、この挙動の正体はトランスコーダの仕業である。displayに出力ポートを指定しなかった場合current-output-portが使われるのは周知のことであると思われる。current-output-portにはどんな文字列ポートが割り当てられているのだろうか？R6RSによると以下である。These return default textual ports for regular output and error output. Normally, these default ports are associated with standard output, and standard error, respectively. (omit) A port returned by one of these procedures may or may not have an associated transcoder; if it does, the transcoder is implementation-dependent.処理系依存である。例えばSagittariusでは
要約：規定の出力ポート。通常は標準出力に割り当てられる。返されるポートにはトランスコーダが紐つけられているかもしれない。もしそうならそれは処理系依存である
(native-transcoder)が割り当てられるし、Chezはトランスコーダを割り当てていない。(call-with-bytevector-output-port (lambda (out) (put-string out "\xFF;\xD8;")) (make-transcoder (utf-8-codec)))このコードを実行すると上記と同様の出力が得られる。文字
#\xFFが#\ÿなるのかというのはUCS4とUTF-8の変換表を見てもらいたい。latin-1-codecを使うと良い。上記のコードを以下のように書き直すと予定通りに動く：
(call-with-bytevector-output-port (lambda (out) (put-string out "\xFF;\xD8;")) (make-transcoder (latin-1-codec)))もちろん、文字列の中に多バイト文字が混じっていた場合はエラーになるので気をつける必要があるが。
"\xFF;\xD8;"をdisplayで出力したら"ÿØ"が出力された。R7RS-largeに期待したい類の問題である。
(import (rnrs) (text json object-builder))
;; JSON string
(define json-string "{
\"Image\": {
\"Width\": 800,
\"Height\": 600,
\"Title\": \"View from 15th Floor\",
\"Thumbnail\": {
\"Url\": \"http://www.example.com/image/481989943\",
\"Height\": 125,
\"Width\": 100
},
\"Animated\" : false,
\"IDs\": [116, 943, 234, 38793]
}
}")
;; records represent JSON object
(define-record-type image-holder
(fields image))
(define-record-type image
(fields width height title thumbnail animated ids))
(define-record-type thumbnail
(fields url height width))
;; JSON -> Scheme object definition
(define builder (json-object-builder
(make-image-holder
("Image"
(make-image
"Width"
"Height"
"Title"
("Thumbnail"
(make-thumbnail
"Url"
"Height"
"Width"))
"Animated"
("IDs" (@ list)))))))
;; Scheme object -> JSON definition
(define serializer (json-object-serializer
(("Image" image-holder-image
(("Width" image-width)
("Height" image-height)
("Title" image-title)
("Thumbnail" image-thumbnail
(("Url" thumbnail-url)
("Height" thumbnail-height)
("Width" thumbnail-width)))
("Animated" image-animated)
("IDs" image-ids (->)))))))
(let ((image (json-string->object json-string builder)))
;; do some useful thing with image
;; ok I want JSON string
(object->json-string image serializer))
;; Formatted for convenience
;; -> {
;; "Image": {
;; "Width": 800,
;; "Height": 600,
;; "Title": "View from 15th Floor",
;; "Thumbnail": {
;; "Url": "http://www.example.com/image/481989943",
;; "Height": 125, "Width": 100
;; },
;; "Animated": false,
;; "IDs": [116, 943, 234, 38793]
;; }
;; }
リストとかベクタとかも扱えたりするので、まぁ要りそうな機能はざっくりあるかなぁという感じ。