はじめてのにき

すっかりゴルフ場にいりびたりです(^_^;)。楽しい場を、ありがとうございます。最近は、GNU Smalltalk（…の Squeak と比べての駄目さ加減ｗ）にもだいぶ慣れてきました。
新しいお題なのですが、Quine とかみたいなのはどうでしょう？（どの程度までを“禁じ手”にするかの判断が難しそうですが…）
http://en.wikipedia.org/wiki/Quine_(computing)

HaskellのData.Bits でしょうか？

あれはビット演算が定義されるデータの型クラスです。
Bits は型クラスなので、それを継承しているインスタンスを使えばいいわけです。Int とか Integer とか Word とか。ちなみにWordは非負正数のクラスです。

何日前にメルセンヌツイスター作ろうとした時にちょっと調べました。唯なぜかサンプルと同じ数が出力されなかったのでそのまんまにしていますが……


Quineいいですね！僕はHQ9+以外でQuineかけないんで、是非ともHQ9+を追加して欲しいです。まあ、Hello, world! はお題にあるのと同じのを出力する事にすればいいんじゃないかと。

# そういえば、HQ9+の処理系を書けって言うお題もおもしろそうだな……

> sumimさん

こちらこそ遊んでいただいてありがとうございます。過度のゴルフは古くから家庭崩壊の元となっていたようです。お気をつけください。私も Smalltalk 勉強がてらやってみたいのですが、やってみたい言語が多すぎて手が回らないというか手を回すと家庭は崩壊しないけど色々崩壊しちゃうという。

Quineなどは面白いとは思うのですが、テストを固定じゃなくてスクリプトなどで検査する仕組みを作らなければならず(いずれは作るかと思いますが)、かつ、スクリプト自体のチェックも必要になる(たいていスクリプト言語は空白一文字とかが最強になってしまうので)など、結構手間かかるので近いうちに実現…とはいかないかと思います。すいません。ちなみに本家 CodeGolf は Quine 的な問題を提案する話があるみたいです。

> konnさん

そのあたりはたぶんわかるのですが、なんか型宣言つけないと動かないような、という。

Prelude> :m Data.Bits
Prelude Data.Bits> 1.&.1

<interactive>:1:1:
    Ambiguous type variable `a' in the constraint:
      `Bits a' arising from use of `.&.' at <interactive>:1:1-3
    Probable fix: add a type signature that fixes these type variable(s)

ちなみにこんさんのグレイコードのとこは参考にさせてもらいました。でも

num .&. (2^nth) == 2^nth

じゃなくて

(rshift num nth) .&. 1 == 1

とかしようよ…と思いました。

あーなるほどそうすればもっと早いですね……ビット演算は奥が深そうだ。

えーとそれで、多分型宣言がないと怒られるのは ghci とかでやってるからだと思います。ソースの中で使えば多分良きに計らってくれるはず……ですが手元に処理系がないので何とも言えません。多分他の演算やナンカと一緒に使えばうまくいくと思います……多分。

例えばこんな感じでうまくいかないから悲しいなぁという。

i@u ~/test/hs> cat bits.hs
import Data.Bits
main=print (1+(1.&.1))
i@u ~/test/hs> ghc bits.hs

bits.hs:2:16:
    Ambiguous type variable `a' in the constraint:
      `Bits a' arising from use of `.&.' at bits.hs:2:16-18
    Probable fix: add a type signature that fixes these type variable(s)

あーなるほど。確かにそれだとどの 1 だかわからないので型宣言つけてやる必要がありますね。何かHaskellは妙に頭が良くて、1とか32ってかいても、その場を見てどの Num なのか決めてくれるんです。

でもこの場合は周りに決め手がなかったんでぶー垂れちゃったんでしょうね……。

なんかNumまわりだけインチキしてるから頭いいとかじゃなかったでしたっけ。まぁ復帰したら色々教えてください。