前回に続いてその3。
よくみたら core/Macros.carp に for とか cond とか色々あった。
(defn main [] (for [n 1 21] (print* (cond (and (= (mod n 3) 0) (= (mod n 5) 0)) @"fizzbuzz" (= (mod n 5) 0) @"buzz" (= (mod n 3) 0) @"fizz" (Int.str n)) (if (< n 20) @" " @"\n"))))
carp -x fizz-buzz5.carp
1 2 fizz 4 buzz fizz 7 8 fizz buzz 11 fizz 13 14 fizzbuzz 16 17 fizz 19 buzz
前回に続いてCarpその2。 hello worldは書いたので、続いてfizz bazzを書く。
(defn fizz-buzz [n] (do (if (and (= (mod n 3) 0) (= (mod n 5) 0)) (IO.print "fizzbuzz ") (if (= (mod n 5) 0) (IO.print "buzz ") (if (= (mod n 3) 0) (IO.print "fizz ") (do (IO.print &(Int.str n)) (IO.print " "))))) (if (< n 20) (fizz-buzz (+ n 1)) 0))) (defn main [] (fizz-buzz 1))
carp -x fizz-buzz.carp
1 2 fizz 4 buzz fizz 7 8 fizz buzz 11 fizz 13 14 fizzbuzz 16 17 fizz 19 buzz
if式の中にprintが沢山あるのでまとめたいのだが、うまく動かず。
(defn fizz-bazz [n] (do (IO.print (if (and (= (mod n 3) 0) (= (mod n 5) 0)) "fizzbuzz" (if (= (mod n 5) 0) "buzz" (if (= (mod n 3) 0) "fizz" &(Int.str n))))) (if (< n 20) (do (IO.print " ") (fizz-bazz (+ n 1))) (do (IO.println "") 0)))) (defn main [] (fizz-bazz 1))
carp -x fizz-buzz2.carp
fizz buzz fizz fizz buzz fizz fizzbuzz fizz buzz
型エラーも出ずに実行できるが、数字が出力されない。 何かやり方間違ってるんだろうがよく分からん。。。
出力コードの対象部分を見ると
} else { String _59 = Int_str(n); String* _60 = &_59; // ref String* _61 = _60; String_delete(_59); _62 = _61; }
参照を渡しているが、参照先の文字列がスコープから外れるから削除されているように見える。
(defn fizz-bazz [n] (do (IO.print &(if (and (= (mod n 3) 0) (= (mod n 5) 0)) @"fizzbuzz" (if (= (mod n 5) 0) @"buzz" (if (= (mod n 3) 0) @"fizz" (Int.str n))))) (if (< n 20) (do (IO.print " ") (fizz-bazz (+ n 1))) (do (IO.println "") 0)))) (defn main [] (fizz-bazz 1))
carp -x fizz-buzz3.carp
1 2 fizz 4 buzz fizz 7 8 fizz buzz 11 fizz 13 14 fizzbuzz 16 17 fizz 19 buzz
これで正しく動いてるように見えるが、文字列リテラルをわざわざコピーするもんなのか？
最後にループで書いてみる。
(defn main [] (do (let [n 1] (while (<= n 20) (do (IO.print &(if (and (= (mod n 3) 0) (= (mod n 5) 0)) @"fizzbuzz" (if (= (mod n 5) 0) @"buzz" (if (= (mod n 3) 0) @"fizz" (Int.str n))))) (IO.print (if (< n 20) " " "\n")) (set! n (inc n))))) 0))
carp -x fizz-buzz4.carp
1 2 fizz 4 buzz fizz 7 8 fizz buzz 11 fizz 13 14 fizzbuzz 16 17 fizz 19 buzz
複数の式を列挙出来るのはdoだけで、defnのbodyですらダメなのか。 中々凄いな。。。
Lisp方言の一つであるCarpをちょっと触ってみた。 github.com
関係ないけど、ClispとかClaspとか最近Cで始まってpで終わる処理系を見ることが多くて、一瞬区別がつかない。
Ubuntu 18.04にインストールした。
Carpの処理系自体はHaskellで書かれているようなので、stackをインストールする。
apt install haskell-stack stack upgrade
v0.3.0をローカルにインストールする。
mkdir $HOME/.local/share cd $HOME/.local/share git clone https://github.com/carp-lang/Carp cd Carp git checkout v0.3.0 stack build stack install
環境変数を設定する。
export CARP_DIR=$HOME/.local/share/Carp
CARP_DIRが設定されないままcarpを実行するとエラーになる。
carp: EvalException I can't find a file named: './/core/Core.carp'
実行する。
carp
Welcome to Carp 0.3.0 This is free software with ABSOLUTELY NO WARRANTY. Evaluate (help) for more information. >
REPLが起動した。
(quit)
REPLが終了した。
(help)
でヘルプが表示される。
伝統と格式のhello world
(use IO) (defn main [] (println "Hello, World!"))
コマンドライン引数に -x をつけると、main関数が呼ばれる。
carp -x hello-world.carp
Hello, World!
生成されるコード本体を一部抜粋
int main(int argc, char** argv) { carp_init_globals(argc, argv); static String _4 = "Hello, World!"; String *_4_ref = &_4; IO_println(_4_ref); }
数値を表示してみる。
(use IO) (use Int) (defn main [] (IO.println &(Int.str 1)))
carp -x print-1.carp
1
(Int.str 1) ではなく &(Int.str 1) なのがポイントで、何故ならprintlnの引数が &String だけどstrの返り値は String だから。
そうなのか。。。
先日筋肉量増やすにはどうするのかとかいう話になった。
自分の場合パワーアップの為に筋トレをやっていたが、現実問題安全確実なパワーアップの為には筋肉量は必要だろうとも思っていた。 で、当初筋トレしても1kgたりとも筋肉らしきものが増えなかったが、何か色々変えているうちにどれが効果あったのかは実験してないけどある程度増えた。 今でも筋トレ自体はやってるものの、最近そういう方向でやってないなくて忘れかけてるのでメモ。
まあこんなところか？ 実際何がよかったのかよく分からんし、他人がこれやって効果あるのかもよく分からん。
5分割当時の種目がこんな感じ。
HelixキーボードのhexファイルをUbuntuのavrdudeで書き込む - gos-k’s blog から大分時間が経過したが、やっとキーマップ変更に着手した。
以下参考にしたもの
QMKのファームウェアをもらってきて、自分用のキーマップを編集する。
git clone https://github.com/qmk/qmk_firmware cp -r keyboards/helix/rev2/keymaps/default keyboards/helix/rev2/keymaps/gos-k lem keyboards/helix/rev2/keymaps/gos-k/keymap.c
ファームウェアを書き込む。
$ make helix:gos-k:avrdude
QMK Firmware 0.6.361
WARNING:
Some git sub-modules are out of date or modified, please consider running:
make git-submodule
You can ignore this warning if you are not compiling any ChibiOS keyboards,
or if you have modified the ChibiOS libraries yourself.
Making helix/rev2 with keymap gos-k and target avrdude
avr-gcc (GCC) 5.4.0
Copyright (C) 2015 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Size before:
text data bss dec hex filename
0 16918 0 16918 4216 .build/helix_rev2_gos-k.hex
Copying helix_rev2_gos-k.hex to qmk_firmware folder [OK]
Checking file size of helix_rev2_gos-k.hex [OK]
* The firmware size is fine - 16918/28672 (11754 bytes free)
Detecting USB port, reset your controller now..................
Device /dev/ttyACM0 has appeared; assuming it is the controller.
Waiting for /dev/ttyACM0 to become writable.
Connecting to programmer: .
Found programmer: Id = "CATERIN"; type = S
Software Version = 1.0; No Hardware Version given.
Programmer supports auto addr increment.
Programmer supports buffered memory access with buffersize=128 bytes.
Programmer supports the following devices:
Device code: 0x44
avrdude: AVR device initialized and ready to accept instructions
Reading | ################################################## | 100% 0.00s
avrdude: Device signature = 0x1e9587 (probably m32u4)
avrdude: NOTE: "flash" memory has been specified, an erase cycle will be performed
To disable this feature, specify the -D option.
avrdude: erasing chip
avrdude: reading input file ".build/helix_rev2_gos-k.hex"
avrdude: input file .build/helix_rev2_gos-k.hex auto detected as Intel Hex
avrdude: writing flash (16918 bytes):
Writing | ################################################## | 100% 1.34s
avrdude: 16918 bytes of flash written
avrdude: verifying flash memory against .build/helix_rev2_gos-k.hex:
avrdude: load data flash data from input file .build/helix_rev2_gos-k.hex:
avrdude: input file .build/helix_rev2_gos-k.hex auto detected as Intel Hex
avrdude: input file .build/helix_rev2_gos-k.hex contains 16918 bytes
avrdude: reading on-chip flash data:
Reading | ################################################## | 100% 0.16s
avrdude: verifying ...
avrdude: 16918 bytes of flash verified
avrdude: safemode: Fuses OK (E:FB, H:D8, L:FF)
avrdude done. Thank you.
特に難しい事もなく、さっさとやればよかった。。。
Scalaから何らかのLisp方言に乗り換える場合にはJVMのライブラリ関連があるからClojureを使うのが普通の流れな気がするが、Common LispにもJVMで動くABCLという処理系があるので試してみた。
Armed Bear Common Lisp (ABCL) - Common Lisp on the JVM
Docker使うととりあえず動く。
docker run -it easye/abcl
REPLが立ち上がるのでQuicklispを入れる。
(load "http://beta.quicklisp.org/quicklisp.lisp") (quicklisp-quickstart:install)
GitHub - fukamachi/clack: Web server abstraction layer for Common Lisp
とりあえずhunchentootとclackを入れて、Usageにあるサンプルを動かしてみる。
(ql:quickload '(:hunchentoot :clack))
(defvar *handler*
(clack:clackup
(lambda (env)
(declare (ignore env))
'(200 (:content-type "text/plain") ("Hello, ABCL!")))))
UsageにはWebブラウザで http://localhost:5000/ にアクセスしろ、とあるがdocker内で動作しているからdexadorで試す。
(ql:quickload :dexador) (dex:get "http://localhost:5000/")
動いた。
"Hello, ABCL!"
200
#<EQUAL HASH-TABLE 4 entries, 11 buckets {33B1D2E7}>
#<QURI.URI.HTTP:URI-HTTP http://localhost:5000/>
#<TWO-WAY-STREAM {1A6F263C}>
Helix キーボードキット | 遊舎工房 のドキュメントにはLinuxでの書き込み方が書いておらず、Releases · qmk/qmk_toolbox · GitHub のLinux版も動かなかったので、コマンドラインから実行したメモ
# USBを接続する stty -F /dev/ttyACM0 ospeed 1200 ispeed 1200 stty -F /dev/ttyACM0 speed 115200 # Helixのリセットボタンを押す avrdude -p atmega32u4 -c avr109 -P /dev/ttyACM0 -U flash:w:helix_rev2_default.hex
