はてなブックマーク

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 を

既存のコンポーネントの機能を生かしつつ、機能追加する方法のまとめ。 VuetifyのVTextFieldを拡張して、数値をカンマ区切りで表示する入力フィールドを作ります。 仕様 入力（focus）時はtype="number"としてカンマなしの数値を入力する 表示（非focus）時はtype="text"として3桁のカンマ区切りで表示する valueの型はNumber|nullとする v-modelでの双方向バインディングが出来るようにする ラッパーコンポーネントの作成 まずプロパティ、イベント、スロットを透過的にVTextFieldに渡すコンポーネントを作成します。 プロパティ プロパティをVTextFieldに受け渡すために属性の継承を無効化して、v-bindを指定します。 デフォルトの挙動はテンプレートのルート要素に属性が継承されますが、$propsに受け渡されるわけではなく、$at

AWS Lambda + Typescript + PuppeteerでWebスクレイピング 前提条件 開発環境 Windows10 Node.js 12.14.0-x64 AWS CLI VS Code AWSアカウント IAMユーザー※ ※IAMユーザーはServerlessFrameworkのリソース作成に必要な権限が付与されていること（今回はAdministratorAccessを使用）、AWS CLIに--profile serverlessで設定していることを前提とする Serverless Framework のプロジェクト作成 AWSリソースの管理にServerless Frameworkを使います。AWS Lambdaを使う上で必要な面倒くさいことを大体やってくれます。すごい。 Serverless Frameworkのインストール サービス作成コマンドを使うためにグロー

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 本記事は、Rust and CSV parsing - Andrew Gallant's Blogの翻訳です。原文のライセンスはMIT or UNLICENSEです。 翻訳について 非常に長い記事なので、なぜこれを翻訳したのかということについて説明します。 本記事はRustのrust-csvの使い方についてのチュートリアルですが、むしろRustの入門として有用です。ここではrust-csvの使い方だけでなく、エラー処理、borrowingやlifetimeの基本、Serdeの使い方、プログラムをパフォーマンスのよいコードに書き換える方法

この記事は Riot.js Advent Calendar 2016 の最終日の記事です。ギリギリの更新ですみません； ゲームにも使えるRiot.js Riot.js、いいですよね。 実用的なアプリで利用されている印象ですが、ゲーム開発にも便利に使えそうだと感じたので、試しに使ってみました。 とりあえず3Dっぽい迷路をうろうろするゲームを作ってみましたが、1フレーム単位でシビアなタイミングが要求されるゲームでなければ非常に実用的だと思います。 デモは↓こちら。 Plunkerでのデモ 簡単な解説 迷路データ(0:通路、1:壁、など)を配列に格納 移動用のボタンを用意し、押下時に現在地データ(座標と方角)を書き換え 現在地データと迷路データをもとに、迷路画像などの表示を切り替え Plunker便利(Riot.js関係ない) ソース やっつけ感漂うソースですみません。特にsetToViewファ

AWS CloudFormationでEC2にミドルまでセットアップする CloudFormationでインフラのコード化だと言いつつ、EC2立てた後のミドルのセットアップはAnsibleあたりが必要なのだろうか、とかアプリのデプロイとはスクリプト分けたいよねとか、モヤモヤしてたらCloudFormationで出来るようなので試してみました。 参考 だいたい公式のチュートリアル通りでOK。 https://docs.aws.amazon.com/ja_jp/AWSCloudFormation/latest/UserGuide/deploying.applications.html UserData プロパティ ここにEC2のプロビジョニングで実行できるシェルスクリプトが書けます。 極論これだけで全部賄うことも可能ですが、UpdateStackへの対応や、メンテやデバッグがしんどくなるので、

動的型付き言語への静的型チェックの導入に失敗した話 動的型付き言語である 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

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

概要 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 セットアップ

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

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

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