そんなこともあろうかと、forkして lts-12.1 ブランチ用意しておきましたので。 github.com まあ、ただの変換ツールなので、古いLTSでビルドしても構わない気はするけど、新しいマシンだと ghc インストールさせたりするのだるかったので。 ということで、手元のリポジトリももろもろ hpack に乗り換えようとしてるのだった。 https://github.com/hiratara/hs-server-starter/pull/4 https://github.com/hiratara/hs-reqcatcher/pull/2 https://github.com/hiratara/hs-string-random/pull/8

WSL のubuntuにDist::Millaを入れたときのメモ。plenv、perl5.26.1、cpanmくらいまではすんなり入った。 割と試行錯誤して入れたから、他にも必要かも。 $ perl -v This is perl 5, version 26, subversion 1 (v5.26.1) built for x86_64-linux ..略.. # Dist::Zilla::Plugin::LicenseFromModule からの依存が漏れてそう $ cpanm JSON # SSL関連 $ sudo apt install libssl-dev $ sudo apt install openssl # nonblockingのテスト落ちてるけど諦めた $ cpanm -f --notest IO::Socket::SSL # タイムゾーン設定 $ sudo dpkg-

MSのエコシステムがよくわからなくていろいろ調べている。調べたのはこんなところ。 .NET のランタイム環境は複数ある Windows では、.NET Framework と .NET core macOS では、mono と .NET core mono はCLIで扱える ( mono コマンド) .NET core はCLIで扱える( dotnet コマンド) というか、それぞれにコンパイラとかツールセットが付いてるんだろうけど、環境によってコマンド名などは一緒なんだろうか？ Visual Studio では .NET Framework のアプリを作れる そして .NET core も作れる android とか ios とか unity とか、他にもいろいろ対応 Visual Studio for Mac は mono のアプリを主に作れる？ こちらも、他にもいろいろ対応している

せっかくWindowsマシンを使っているのだからMSの開発環境のエコシステムにどっぷり浸かってみたいと常々思っていたのだが、ようやく最近触り始めた。 まず、F#については Beginning F# 4.0 を読んでいる。F#はOCamlをベースにしていると聞いていてずっと興味があった言語。改めて学んでみると、あー、Haskellって後発の強みでsyntax改善されている部分も多いんだなあという印象は受ける。が、まだまだ序盤の面白くない部分なので、もっと読み進めるとがらっと印象が変わりそう。 www.apress.com UnityはWindowsで触る必要はないんだろうけど、C#つながりで興味が出たのでチュートリアルをやってる。 unity3d.com 大昔に触ってたSDLやら生OpenGLとは全く違ってGUI作るIDEみたいな感覚になってて、ゲーム開発こんなんになってるのかーって感動がす

凸頂点の数 。30分。 今回は共通化したいところをグッとこらえてコピペ。前回まで初めから抽象化にこだわって問題を解いていたが、具象例が集まってからのほうが良い抽象化ができることから、60分という時間を考えると抽象化はし過ぎないほうが良い選択だということだろう。 この問題の場合、各頂点に2つの図形が隣接するが、そのうちいずれかと隣接してしまうと凸頂点ではなくなる。 00 でも同じ性質を満たしており、ほぼ同じ関数が使いまわせたのは面白いと感じた。 package Nofconv; use strict; use warnings; use Exporter qw(import); use List::Util qw(sum); our @EXPORT_OK = qw(solve); my @chars = ('a' .. 't'); my %chars = map { $chars[$_] =

まわせ! Bouwkamp!! に挑戦したが、惜敗。90分かかった。 正攻法で挑むと楽しい良問ではあったが、意外に手数が多い。 package Bouwkamp; use strict; use warnings; use Exporter qw(import); our @EXPORT_OK = qw(solve); sub decode_bouwkamp ($) { my @result; while ($_[0] =~ /\((\d+(?:,\d+)*)\)/g) { push @result, [split /,/, $1, -1]; } \@result; } sub sort_points (@) { sort { $a->[1] <=> $b->[1] or $a->[0] <=> $b->[0] } @_; } sub rotate_point ($$$) { my ($w

不良セクタの隣 の問題で肩慣らし。 以下はとりあえずテスト通しただけの状態そのままのコード。単体テスト含めてフルスクラッチからで45分くらい。場当たり的にモジュール化したので、無駄が多い。 初め「複数の」を見落としてて、最後に方針転換したけど、適度にモジュール化されてたのでなんとかなった。 Cloud9上で解いたので、キーバインドでも苦しんだ。Ctrl-s 押し忘れてセーブされてなかったり Ctrl-k 押してよくわからなくなったり。あと、45分の時間には含んでないけど、 コアモジュールのインストールも必要 。 package Sector; use strict; use warnings; use Exporter qw(import); our @EXPORT_OK = qw(solve); my @all_sectors = ( [100 .. 107], [200 .. 215]

qiita.com ubuntuのインストール作業に勤しむ意味はないので、vagrantに任せることに。 ということでWindows上でvagrant使うことに決めたのだけど、Surface StudioとSurface Book 2の両方で環境構築するのはダルいので Vagrantfile 作って上げた。 github.com 最近はデフォルト厨なので Vagrantfile なんて要らんかなと思ったのだけど、細かい調整でハマって時間を潰してしまったりしたので、まとめることにした。細かい点とは、例えば以下の通り。 stack は apt で入れない (コマンドを覚えられないのでググるのがめんどい) init.el の intero の設定をググらないと書けない libtinfo-dev 入れないと intero が動かない LC_ALL 指定しないと shell が日本語を受け付けない

Haskell入門 の10章は、 SQLite への依存があったりして Windows で試すのは若干面倒だったので、 Docker for Windows で試せるようにした。 https://github.com/hiratara/Haskell-Nyumon-Sample/compare/docker/chap10 docker/chap10 ブランチを持ってきて、Docker for Windows が動いている環境でこんな感じで動かせる。 $ docker-compose build $ docker-compose run --rm --service-ports weight-recorder # ソースをいじって stack build したいとき $ docker-compose run --rm weight-recorder build weight-recorder

マニアックなイベント に来てますので、メモを残しています。 XProtocol始めました、Haskellで / Naoto Ogawaさん 意外とHaskellの人が多いかな、と haskellとMySQLで半分半分 XProtocol ProtocolBuffer Xはクロス (いろいろな言語から) CRUDスタイルAPIもある ドキュメントストアとの親和性 パイプライン処理(これに注目したい) XDev API EBNFの定義がある BNFとは？ → 文法を定義したもの 複数DBサーバのコネクション管理も含む（理解しきれてないけど） XPluginをMySQLへインストールする Xdev API経由でユーザプログラムが利用 world_x データベースをサンプルとしてインストールしておくと良い doc と _id があるテーブルがドキュメントストアとして扱われる _id は doc 内

最近チャネルが増えてSlackを見るのが大変だったので改善した。社内で投稿したものだが、設定を変えてから快適になったので紹介する。 変更前のチャネルの管理方針 重要っぽいかそうでないかでなんとなく分けていた。大事っぽかったらstarで、大事じゃないけど居ないと不審に思われそうなチャネルをmuteにして仕方なく居残るみたいな設定。 star : 重要そうなチャネル starもmuteもしない : そんなに重要じゃない普通のチャネル mute : 一応、入ってるよってことを他の人にアピールはしたいチャネル leaveする : 抜けても他の人から怒られなさそうなチャネル この方針で使っていて、未読が大量に溜まって読みきれないというe-mailのメーラーと似たような状況が起こっていた。それと、muteの設定で入っている部屋をまったく開かないので、もはやなんのために入っているのかわからない状態だった

このように f を定義して実行したい。 f :: String -> String f = show . read main :: IO () main = putStrLn $ f "True" エラーが出る。 Prelude> :l test.hs [1 of 1] Compiling Main ( test.hs, interpreted ) test.hs:5:5: error: • Ambiguous type variable ‘a0’ arising from a use of ‘show’ prevents the constraint ‘(Show a0)’ from being solved. Probable fix: use a type annotation to specify what ‘a0’ should be. These potential insta

DuplicateRecordFields を実装した影響だと思うけど、 ghci で重複するレコード名を定義したときの振る舞いが 7.10 と 8.0 で違ってる。 まず 7.10 。「フィールド定義が消される」という振る舞いに見える。 $ stack --resolver ghc-7.10 ghci Configuring GHCi with the following packages: GHCi, version 7.10.3: http://www.haskell.org/ghc/ :? for help Prelude> data X = X { x :: Bool } Prelude> data Y = Y { x :: Int } Prelude> let anX = X { x = True } <interactive>:18:11: Constructor ‘X’ d

JavaもHaskellも静的型付けの言語だけど、Javaをやっている人とHaskellをやっている人で、「静的型付け」という言葉で頭に描くイメージはだいぶ違うと思う。 じゃあどう違うのかってのを説明すると小難しい話になりがちなのだけど、Haskell 2010 Language Reportにそれを簡潔に示したいい一文を見つけたので記しておく。 An expression evaluates to a value and has a static type. https://www.haskell.org/onlinereport/haskell2010/haskellch1.html#x6-120001.3 Haskellの式に対して、2つの操作が可能である。1つが式を評価して値を求めること。もう1つが、式を型付けして型を求めること。この観点に立つと、型を持っているのは値ではなく式であ

ここ数年年末に散財することが多いのだけど、今年は Surface Studio を買った。Surface Pro3、Surface Bookと買い進めてSurface製品の3台目。 10/26 日の発表直後にpreorderして、手元に届いたのは 12/19 だった。i7のモデルを選んだので、本来発送開始が来年1月の予定だったのだけど、12/6に出荷が早まったから喜べってメールが来て、12/13に倉庫から出庫された。早期出荷してくるとは心憎い。普通のモデルの発売日が本来12/15だったので、それと比べても予想よりも早く手に入った形になる。 転送サービスは 1WorldShopping.com を使っているのだけど、今回はこちら側が荷物の追跡番号を間違えてしまってやりとりが色々大変だった。英語のみしか対応してないと思って日本時間の日中に英語でメールをして反応がなくてヤキモキしていたのだけど、