はてなブックマーク

Haskell の開発環境を GitHub Codespaces に構築するためのチュートリアル記事です。 Codespaces の Ubuntu 22.04 コンテナに ghcup, stack, Haskell Language Server, Haskell VSCode Extension がインストールされた状態で開発を始めることができます。 記事内で紹介する設定ファイルは次の repository にも置いてあります。 https://github.com/algas/codespaces-haskell-init 対象読者 オンラインで Haskell を使った開発をしたい Haskell の開発環境を構築するのが面倒 前提条件 VSCode を使ったことがある/使っている GitHub の基本的な使い方を知っている GitHub で Codespaces が使える状態になっ

Makefile で任意の第2引数を扱えるようにする小技を紹介します。 簡単な表記で2つの引数を扱える上に複数個の対象をデフォルト指定したり変更することもできます。 この方法を使えば --jobs オプションで make タスクの並列化もできます。 本記事で紹介するスクリプトは gist で公開しています。 https://gist.github.com/algas/377ca9d3f11916af39951ccd599a3b88 解決した課題 make で2つの引数(1つ固定＋1つ任意)を扱えるようにした 第2引数を複数個デフォルト設定かつ変更可能にした 上記の2つに加えて jobs オプションでの make タスク並列化が効く形式を保った 対象読者 Makefile を書く必要があるけどイマイチ書き方がよくわからない人 シェルスクリプトの方が自由度が高いと思いつつ Makefile を

動的型付き言語への静的型チェックの導入に失敗した話 動的型付き言語である JavaScript (node.js) で開発・運営されているプロジェクトに静的型チェック機能(flow)を導入しようとして失敗した話を共有します。 なぜこの記事を書こうと思ったのか？ ある程度の数の人が同じことを検討しているという確信があります 成功事例は真似しても同じように成功するとは限らないが、失敗事例は同じことをすると大体失敗するのでより価値があります 率直に言うと Advent Calendar だと他の場所に比べて失敗談も書きやすいと考えました Flow とは何か？ JavaScript に静的型チェックできるツール(ライブラリ)のことです。 メリット 実行前に型チェックを行うことで安心感を得られる 不具合を減らすことができる 意図しない変数への代入や変数名の間違い、関数への渡す引数の間違いを減らせる

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

概要 Docker を使って Haskell で CLI (Command Line Interface) のアプリケーションを配布することを考えます。 Docker さえインストールされていれば多くの OS で実行可能な CLI が作成できます。 本記事では Docker Image を Multi-Stage Build を使って作成することで実行時のコンテナサイズを小さくする方法を紹介します。 配布するにはイメージサイズをできる限り小さくする方が使ってもらいやすくなるからです。 また上記のイメージを使った Whalebrew による CLI アプリケーションの作成と配布について書きます。 対象とする読者 Haskell と Docker の基本的な使い方を理解している読者を想定しています。 この記事では Haskell 自体の文法や使い方の説明はしません。 また Docker コマン

概要 node.js で静的型チェックをするための実例を紹介します。 本記事の実装は以下の repository にあります。 https://github.com/algas/flow-example flowtype とは？ flowtype は JavaScript 用の静的型チェッカーです。 JavaScript に type annotation を記述することで型チェックできるようになります。 メリット 実行前に静的に型をチェックできる JavaScript での厄介なバグを生みやすい、暗黙的型変換やnull参照、undefined is not a functionがチェックできる 必要な箇所だけ型チェックを適用することもできる デメリット type annotation は通常の javascript の文法とは異なるので直接 javascript として実行する場合にはフ

Hello world in Haskell with Servant 連載一覧 Haskell Servant フレームワークの便利な使い方などを紹介する連載記事です。 今後は以下に記事を追加していきます。 (2016年7月22日 6つ目の記事を追加しました！) Hello World Logger HTTPS Testing Database Strongly Typing 概要 本記事では Haskell Servant の導入方法をご紹介します。 記事内のすべてのコードは github リポジトリに置いてあります。 http://github.com/algas/haskell-servant-cookbook 想定する読者 Haskell の入門書を読んだことがある 言語を問わず Web アプリケーションを触ったことがある RDB (Relational Database) の基

概要 型安全プログラミングがどのように役に立つかを Haskell を使った和暦(元号)の実装を例に紹介します。 実装は下記の repository にあります。 https://github.com/algas/haskell-example-date 対象読者 Haskell の最低限の知識と haskell stack の使用経験があることを前提とします。 基本的な文法や言語構文の説明は入門書に任せることにします。 使い方 以下の単体テストを動作させることができます。 git clone git@github.com:algas/haskell-example-date.git stack build stack test 実装の概要 Data.Time.Wareki で公開している関数を説明します。 data Gengoh = Meiji | Taisho | Showa | He

概要 SublimeText3 (以下、ST3) で Haskell を書くために必要な環境構築の手順をまとめました。 主に SublimeHaskell, SublimeREPL というプラグインを使います。 ST3 や Haskell, Stack の操作方法の詳細は他の記事などを参照してください。 本記事は Mac OS X での動作を想定しています。 出来ること stack build がファイル保存ごとに自動実行できる stack repl を SublimeText 上で実行できる 事前準備 実行環境にHomeBrew がインストールされているものとします。 Haskell-Stack のインストール brew install haskell-stack Sublime Text 3 のインストール brew cask install sublime-text3 セットアップ

Docker in Docker 本記事では Docker の中で Docker を使う技を紹介します。 Docker in Docker とは？ Docker コンテナの中で Docker コンテナを動かす技術です。 Docker の中で Docker を動かすには特権モード (privileged) を使います。 特権モードは Docker の機能のオプションの1つとしてデフォルトで存在します。 何がうれしいの？ Docker コンテナを管理するサーバ(以下、Docker管理サーバ)を Docker で動かしたい場合に使うと非常に便利です。 通常の使い方としては Docker 管理サーバをホストにインストールして・・・、という運用になります。 しかし、管理サーバ自体のインストール自体も Docker でやりたいなー、と Docker 使いとしては思うわけです。 Docker in Do