RankNTypes と型レベルリストと extensible - Qiita
さて、今回の話はこの showArgs をより一般化したい。 つまり、 引数の型が全て異なっても動いて欲しい show をリストの中に埋め込みたく無い 1つの関数定義で任意長の引数を扱えるようにしたい ということです。 この例を通して RankNTypes, 型レベルリスト, extensible package への道を作りたいと思います。 道のり1. タプル まず、リストは同じ型の値しかリストに入れることができないので、複数の異なる型の値を1つの値として扱うことができるタプルを利用してみましょう。
extensible-0.4.9 がリリースされました。
Posted on May 14, 2018 authored by Shinya Yamaguchi Last Updated May 14, 2018 はじめに BIG MOON では、業務に必要なツールを自社開発しており、プログラミング言語に Haskell を採用しています。実用的に利用し始めて3年ぐらい？です。 僕らが Haskell を利用していて一番困った点はレコードの取り扱いです。 異なる型のフィールドラベルに同じ名前を付けたい フィールド全体対して関数を適用したい フィールド多相な関数を定義したい このような問題に対して extensible という、(当初は謎に包まれていた) パッケージの利用を検討し、実際に既存のシステムを extensible で置き換えました。(当時アルバイトしていた matsubara0507 さんが居なければ実現不可能だったと思います) 今回、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
HaskellでDhallをExtensibleのレコードとして読み込めるようにする
