のためのテンプレ。 type Weight = Int type Value = Int table :: [(Weight, Value)] -> [Value] table is = foldl nextLine (repeat 0) is where nextLine ps (wi,pi) = 0 : map memoCell [1..] where -- for 0-1 knapsack problem memoCell w = if w

よく考えたら、lambdabot パッケージを全部入れなくても、pointfree パッケージだけ入れればいいので、andLinux まで入れる必要はなかったのでした。 それはさておき、何をしたかったのかというと、S コンビネータがどういう風に表現されるのか知りたかった…

というわけで、andLinuxをインストールしてみました。インストール自体はインストーラ一発なのでラクチン。面倒なので設定も全部デフォルト。 インストールするときにユーザとパスワードを登録するのですが、root ユーザのパスワードを登録しません。 root …