LATEST ARTICLES

Last updated on
October 17, 2018
...
Dhall v3.0.0 がリリースされた
Dhall v3.0.0 がリリースされた.メイジャーバージョンの更新ということで,いくつかの破壊的変更を含む. Version 3.0.0 of the Dhall standard is out
...
Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて)
お盆に数日の休みがあったので,Ludwig Wittgenstein の『論理哲学論考 (Tractatus Logico-Philosophicus)』を読み始めた.Wittgenstein の著作
...
Pug+Stylusではじめるポートフォリオサイト作成〜環境構築編〜
最近ゼロからポートフォリオを作ろうと思っていざデザインができてから実装しようとなったとき、快適な環境を作ってデプロイするところまでの方法を私はちゃんと知らないということに気付きました。 そしてググっ
...
The unsafe side
I like Haskell and Purescript, and I love telling people how safe they are. However, they are not perfect, there are still unsafe aspects and I have to be honest about them. "If it compiles, it works" isn't always true.
...
Dhall で Kubernetes の YAML 管理をスマートにやっていく
こんにちは.Kubernetes 班の ryota-ka です。皆さん Kubernetes やっていますか?Kubernetes をやっていこうとすると,大量の YAML を書くことになって大変である.大量の YAML を書くことは大変なので,大抵コピペする.コピペをするが,コピペは怖い.
...
@cycle/react を触ってみる
数日前,@staltz 氏から Cycle React のリリースがアナウンスされた.@cycle/react を含む一連のライブラリ群は,React component を Cycle.js の中で用いることを可能にし,Cycle.js の component を React の中で用いることを可能にする.
...
代数的データ型と初等代数学
「関数プログラミングとはなんですか?」と問われたときには「デ,データファースト……(震え声)」と答えることが多いのだが,実際 Haskell や OCaml などの言語を特徴付けるものとして,代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう.
...
Coyoneda って…… お前 functor がデータ構造になっただけやんけ!!
operational (あるいは freer) と呼ばれているものの説明として, a) Coyoneda を使うと,kind が * -> * であるような任意の型から functor を作り出せる 任意の型 f :: * -> * について Coyoneda f は Functor のインスタンスになる
...
DailyUIを100日間継続してよかった6個のこととアドバイス
今年の2月からはじめたDailyUIですが、先日ついに100日目まで完走することができました。メールで送られてくるお題に対して毎日(平日のみ)UIを作り続けるという取り組みであるこのDailyUI、T
...
kubernetesに自分のコードがマージされるまでのフロー
はじめに こんにちは。kubernetes班のwhywaitaです。皆さんkubernetesやっていますか? kubernetes を使う場合、アプリケーションをデプロイする際にミドルウェアの管理に
...
Template Haskell でいい感じに時間の長さを書けるライブラリ duration を作った
Template Haskell を使って,時間の長さをいい感じに(人間が読みやすい形で)記述できるライブラリを作った.
...
Maybe と IO を一緒に使いたくなったら
たまには初学者向けにライトな話題を.対象読者 すごいH本を12章か13章ぐらいまで読んだ do 構文を使って IO などの処理が書ける Haskell のプログラムはなんとなく書けるが,あまり綺麗に書けている気がしない
...
Type safer
I was chatting with friends about types. It seems that "type" means so many different things in different programming languages, "type safe" does not really mean anything without context. So here is this blog post, of me trying to explain what do I think about types, and how it helps us to program.
...
エンジニアにダメ出しされたUIデザインでおさえておきたいポイント
正直なところこの半年ほどの開発を遡るにあたり、要件やワイヤーをもとにUIを組んでみていざエンジニアに実装お願いします!と依頼してからシュッとそのままOKが出ることはあまりありませんでした(最近はどうだろう)。
...
Adobe Typekitでこれだけは入れておきたいフォント10選
Adobeからサブスクリプションのフォントライブラリとして提供されている「Adobe Typekit」ですが、Adobe Creative Cloudを契約している人はサービスとして含まれているので利用している方も多いのではないでしょうか(特にデザイナー)。
...
Google Forms の回答を Slack に通知する最強のスクリプト
はじめまして。furukaw と申します。 株式会社HERP でエンジニアインターンをしています。 HERP は 採用管理ソフト および 採用コンサルティング の会社なのですが、今回はその主要なシステムの部分ではなく、タイトル通り Google Forms と Slack の話です。
...
DailyUIを通じて得た知見ログ #011〜050
2ヶ月半ほど続いているDailyUIですが、ようやく折り返し地点の#050まできました。 前回のDailyUIのようにひとつひとつちゃんと解説(感想)をしていこうかとも思ったのですが、 かなり冗長になってしまうのとルール上全てが良いクオリティで作れたわけでもないのでピックアップしていきたいと思います。
...
Kyoto.js#14に行ってきた話
Kyoto.jsについて みんな〜JS書いてる?? 振り返り 結構みんなjsを書いてなかった。そもそも自分もk8sのyamlかtfを書いてる。 京都には鴨川があるのに、なんで水車が設置されて無くて、なんでドネルケバブが回転していないのか不思議だった。
...
Type Level Permission Checking
Few days ago I was working on some API handlers in our server written in Haskell with the framework Yesod. There was a mistake, some secret data was accessible to normal users because we forgot to check the user's type, luckily it's not on production yet.
...
TypeFamilyDependencies の実用的な例を考える
FunctionalDependencies という GHC 言語拡張がある.Haskell Wiki によると,Functional dependencies are used to constrain the parameters of type classes. と書かれているが,これはどういうことか.