HaskellでGitHub Actionsのワークフローを書きたい
この記事はHaskell Advent Calendar 2023の9日目の記事です。 Dhallがちょっとつらくなってきた ひとりでちまちまと作り続けているPeridotのCIなどでGitHub Actionsを使っています。 このワークフローの定義を、以前はDhallで書いてyamlに変換するという形で運用していました。Dhallを使うことで生のyamlを触るよりはるかに安全かつ簡単にワークフローの記述/修正を行うことができていましたが、次のようなつらみがあって少し前にHaskell製のお手製ワークフロージェネレータに一気に鞍替えしました。 型推論が限定的 ほぼこれがすべてな気がしますが、Dhallは型推論をしてくれる範囲が全コードではなく、一部は明示的に与えてあげる必要があります。 より具体的には関数適用時に型変数を自動で推論してくれないので、ここを毎回明示する必要があります。設定フ
Haskellで抽象構文木 (AST) にメタデータを付与する - Hash λ Bye
2018-01-04 追記: ここで全部語り尽くされている気がしたので、Labelling AST Nodes with locations なにもこんなブログ読むことはないのかもしれない。 megaparsecを使って構文解析器を書いている。 構文解析やっているとASTにソースファイルの位置情報とかをメタデータとして乗せたくなるが、 どんな感じで実装するのか調べた。 僕自身はどのアプローチをとるのか決まっていない。 問題 やりたいこと megaparsec, parsecなどのコンビネータライブラリはジェネレータ系のalex + happyと比べると幾分まともなエラーメッセージを吐くようになっている。(alex + happyがえげつないほどterseなだけ) しかし、構文解析が終わった後のα変換によるshadowingの回避や型推論のフェーズでコンパイラがエラーを見つけた場合に、 その
Use Dhall to configure Bash programs
Dhall is a non-Turing-complete programming language for configuration files, and if you are new to Dhall you might want to read the Dhall tutorial which explains how to use Dhall and several of the language features. Dhall is currently adding support for new languages and file formats such as: Haskell Nix JSON and YAML ... and now Dhall supports Bash, too! I'm releasing the dhall-bash package whic
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - matsubara0507/yaml-to-dhall: Roughly implement CLI tool to convert YAML to Dhall
HaskellでDhallをExtensibleのレコードとして読み込めるようにする
GitHub - mstksg/hakyll-dhall: Dhall compiler for Hakyll
GitHub - dhall-lang/dhall-haskell: Maintainable configuration files
