Reddit - Dive into anything
I am reading Oleg Kiselyov's tutorial on tagless final interpreters. When implementing a DSL, what is the advantage of tagless final style over plain old datatypes (or say, GADTs)? I know when using normal datatypes, when you add new variants, you need to modify existing functions that operate on these types, and then you lose separate compilation. But does that really pose a huge problem in pract
Extensible EffectsとTagless Finalで実装するDI - Qiita
これは FOLIO Advent Calendar 2017 14日目の投稿です。 HaskellでDIを実装する一番いい方法は何か、様々な手法を比較しながらベストな方法を探していこうと思います。 記事中のコードは記述を簡潔にするため実行に必要なGHC拡張やimportを書いていません。完全なコードは以下のgistに載せているので参照して下さい。 https://gist.github.com/lotz84/7207fa3a6b806807defd04e773f8dc78 易しい依存性の注入 DI(Dependency Injection, 依存性の注入)とは何でしょうか。Wikipediaから説明を引用すると、 依存性の注入とは、コンポーネント間の依存関係をプログラムのソースコードから排除し、外部の設定ファイルなどで注入できるようにするソフトウェアパターンである。英語の頭文字からDIと略
Maybe と IO を一緒に使いたくなったら - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me たまには初学者向けにライトな話題を． 対象読者 すごいH本を12章か13章ぐらいまでは読んだ do 構文を使って IO などの処理が書ける Haskell のプログラムはなんとなく書けるが，あまり綺麗に書けている気がしない IO の中で Maybe を使う 例として，以下のようなプログラムを考えてみよう． 2つの整数 a b を標準入力から1行ずつ順に読み込む a と b の和を標準出力に出力する 与えられた入力が整数でなかった場合には，その時点でエラーメッセージを出力し，プログラムを終了する これらの要件を満たすプログラムを素朴に実装するならば，以下のようになるだろう． import System.Exit (die) import Text.Read (readMaybe) readInt :: String -
Template Haskell でコード中に JSON を埋め込んだりコンパイル時にファイルから型安全に読み込んだりする - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me 前回よりはもう少し実用的な例を． Template Haskell を使って，Haskell のコード中に JSON をそのまま埋め込むことができるようにする．また，あらかじめ用意しておいた JSON ファイルをコンパイル時に読み込み，指定したデータ型の値にする． ToC コード中に JSON を埋め込む コンパイル時に JSON をファイルから型安全に読み込む 環境 stack --version Version 1.6.3 x86_64 hpack-0.20.0 $ stack ghc -- --version The Glorious Glasgow Haskell Compilation System, version 8.2.2 $ stack list-dependencies | grep -e aes
Template Haskell でコンパイル時 FizzBuzz - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me 数ヶ月前に Twitter で，コンパイル時に FizzBuzz を計算して，実行時には計算された文字列を出力をするだけ，というコンパイル時 FizzBuzz を何かの言語でやっているのを見かけた．元ネタは江添さんがC++で書いたものらしい．インスピレーションを受けて，Haskell で書いてはみたが，簡単すぎて全然おもしろくなくなってしまった． コード GHC の制約*1により，モジュールを分割している． -- FizzBuzz.hs {-# LANGUAGE TemplateHaskell #-} module FizzBuzz (answerExpr) where import Language.Haskell.TH fizzbuzz :: Int -> String fizzbuzz n | n `mod`
Scalaで型クラス入門 - still deeper
型クラスについてつらつら考えていたことをまとめておきます。マサカリ歓迎。 型クラスって？ 型クラスとは一言でいうと。 アドホック多相 を実現するもの です。モから始まる名状し難いあれとは直接は関係ありません。 ではアドホック多相とは何かというと 異なる型の間で共通したインターフェースでの異なる振る舞いを 定義済みの型に対して拡張する ような多相のことです。 異なる型間での共通したインターフェースでの異なる振る舞い Javaの継承やインターフェース、Scalaのtraitを用いることで、異なる型間での共通したインターフェースを管理することができます。 trait SomeTrait { def someMethod(): String } class Foo extends SomeTrait { def someMethod(): String = "foo" } class Bar ex
たくさんのファイルから重複した行の塊を見つける - Qiita
おことわり この記事はJetBrains Advent Calendar 2016の25日目に飛び入り参加して書いた記事ですが、第23回【フリースタイル】PORTもくもく会のLT枠で発表した際の資料も兼ねています。 なのでスライドモードでお送りいたします。 IDEと直接関係のない話ですみません。でも、IntelliJ IDEA Ultimateは素敵なんで使ってみるといいですよ！ 背景 IntelliJ IDEA Ultimate買った！ そしたらなんか重複したコード片を勝手に見つけて教えてくれる！ うひょー！すげーっ！リファクタリングしたくなる！！ あ、でもこれJavaとか特定の言語じゃないとダメなのね...。 ちょうど手元に重複だらけのシェルスクリプト群があるんだけどなぁ ないなら作ろう 物事を単純化するため、とりあえず行単位で重複を検出する 多分アルゴリズム自体はtoken単位でやっ
HaskellのWeb系ライブラリ紹介 - iLog
はじめに こんにちは、ishiy(@ishiy1993)です。 この記事はCAMPHOR- Advent Calendar 2016の11日目の記事です。 すでにHaskell Advent Calendar 2016の7日目の記事でHaskellのライブラリ紹介がありましたが、 Web関係に特化することで差別化をはかります。 ときどき「HaskellでもWebまわりできるんですね!?」というのを聞くのでいろいろなライブラリあるよというアピールをしたい。 以下では、僕が使用したことのあるライブラリを中心にサーバー、クライアントそれぞれを紹介していきます。 サーバー Webサーバー wai warp まずサーバーサイドの基礎になっているライブラリを紹介します。 waiはWeb Application InterfaceでApplicationという型を定義しています。 これが下で紹介するWA
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.semanticscholar.org/paper/How-to-make-ad-hoc-polymorphism-less-ad-hoc-Wadler-Blott/cc7f2242dba6f09023128897762d07517f13ba4a?p2df
http://lampwww.epfl.ch/~odersky/talks/wg2.8-boston06.pdf