すごいHaskell、ハスケル子と学ぼう！ - Qiita
「すごいHaskellたのしく学ぼう！」という本を読みました。 せっかく関数型言語の本を読んだので、今回は関西型言語を用いて、学んだ内容について綴っていきたいと思います。 ある日、某会社にて ワイ「なぁ、ハスケル子ちゃん」 ワイ「Haskellの記事とか読んでると出てくる、モナドってアレ何なん？」 ハスケル子「型クラスですね」 ワイ「型クラス・・・」 ワイ「ごめん、ぜんぜん分からんわ」 ワイ「型クラスって何・・・？」 ハスケル子「型の分類みたいな感じです」 ハスケル子「classって、分類とか同類って意味を持っているので」 ワイ「型の分類・・・」 ワイ「型自体がそもそも、数値とか文字列とか」 ワイ「そういった分類みたいな感じなのに、それを更に分類すんの・・・？」 ワイ「どどどどういうこと・・・？」 ワイ「舌打ちせんといてや・・・」 Int型とFloat型って似てるよね ハスケル子「えっと、
A reckless introduction to Hindley-Milner type inference
(I've been editing this post on and off for almost a year. I'm not really happy with it, but I suspect I never will be.) Several months ago I gave a talk at work about Hindley-Milner type inference. When I agreed to give the talk I didn't know much about the subject, so I learned about it. And now I'm writing about it, based on the contents of my talk but more fleshed out and hopefully better expl
Client-side web programming in Haskell: A retrospective
At the beginning of this decade (2010), a few of us Haskellers were exploring how best to do client-side web programming. We didn’t want to write JavaScript. There’s a surprising number of techniques we tried to avoid doing so. There was work coming from academia and industry. Here’s a history of my own experience in this problem space. In 2008, Joel Bjornson and Niklas Broberg published HJScript,
将棋が指せる WEB サービスを個人で開発しました - SHOGIX
みなさんこんにちは、はじめまして、菊池です。 先日、関数型言語と Google のクラウドサービスを使って作った【SHOGIX 無料で将棋の対局ができる WEB サービス 】を公開しました。完全に個人の趣味プロジェクトです。 WEB ブラウザがあれば将棋の対局ができるので、よかったら友達と将棋を指す時とかに使ってみてください！ 今回は SHOGIX を構成する技術について、その概要を紹介してみようと思います。 今後の SHOGIX には、棋力が同じぐらいのユーザー同士でマッチング対局できる機能や、将棋が強くなれる機能を少しづつ追加していく予定です。お楽しみに！ shogix.jp SHOGIX の構成 SHOGIX は Google の各種クラウドサービスを使って、サーバーレスで構成しています。インフラの運用は全てクラウドサービス側にお任せでスケールアウトもしてくれるので、ロジックの開発に
GitHub Card を生成する SPA を Elm で作った
Qiita や自分のブログに GitHub のリポジトリのリンク貼ってもなんか寂しいからいい感じのカードっぽいやつ生成するやつを作ったって話です． iframe で埋め込むことができます。 だがしかし！Qiita などに任意の iframe が埋め込めるわけないジャーーーン！ ということに，だいたい完成してから気づいた orz GitHub Card 特別定義はないけど，こんな感じのを iframe で作りたかった． 作る マイフェィバリット JS 系プログラミング言語 Elm を使った． だいたい半日ぐらいかかった．GWの最終日．GW最高． リポジトリはこれ: GitHub Pages に置いたので誰でも試せる． ただし，裏では GitHub API v3 をトークンなしで叩いてる... こんな感じになる: 上がユーザーのカードで下がリポジトリのカード． Embed: の下に書いてある
詳解 elm/url !!
本記事は Elm Advent Calendar 2018 の11日目の記事です． elm-jp の Discord で突如無茶振りされたので頑張ります． elm/url elm/url は Elm 0.19 で刷新されたパッケージ群にしれっと混ざってきた URL に関するパッケージ． Browser.application でも使われているのでみなさんも頑張って使えるようになりましょう． ちなみに本記事では ver1.0.0 の elm/url を想定している． Url の型 こんな風に定義されている: type alias Url = { protocol : Protocol , host : String , port_ : Maybe Int , path : String , query : Maybe String , fragment : Maybe String } ty
Haskellで抽象構文木 (AST) にメタデータを付与する - Hash λ Bye
2018-01-04 追記: ここで全部語り尽くされている気がしたので、Labelling AST Nodes with locations なにもこんなブログ読むことはないのかもしれない。 megaparsecを使って構文解析器を書いている。 構文解析やっているとASTにソースファイルの位置情報とかをメタデータとして乗せたくなるが、 どんな感じで実装するのか調べた。 僕自身はどのアプローチをとるのか決まっていない。 問題 やりたいこと megaparsec, parsecなどのコンビネータライブラリはジェネレータ系のalex + happyと比べると幾分まともなエラーメッセージを吐くようになっている。(alex + happyがえげつないほどterseなだけ) しかし、構文解析が終わった後のα変換によるshadowingの回避や型推論のフェーズでコンパイラがエラーを見つけた場合に、 その
How to make type classes without implicit parameter in Elm - Qiita
諸注意 これは冗談みたいなものなので、実案件で使用しないでください。 How to make and use type classes without implicit parameter in Elm 本記事は Elm Advent Calendar 2017の12日目の記事です！ Elm Advent Calendar 2017 - Qiita Elmへの型クラスの導入 この記事では、Philip Wadlerの論文「How to make ad-hoc polymorphism less ad hoc」 にて示される型クラスの導入を元にした、Elmに型クラスの導入を行うためのアプローチを示します。 How to make ad-hoc polymorphism less ad hoc 元文では 基本的に表現は元の論文に準拠しつつ、 かつ修正が見込める場合は現代的な表現を用います。 本
Haskell × Elm のサンプルアプリケーションを書いてみた
Haskell と Elm を使った Web アプリケーションのサンプルコードを書いてみたので，それについてイロイロとメモ書き． 最終的なコードはこちら． いきさつ 現在とあるアルバイトで，Elixir × ELm での社内ツールを作ってる(もうクローズドの本番実装に移行したけど，テスト実装はオープンにしてる)． バックエンド(Elixir/Phoenix)とフロント(Elm)で API による情報のやり取りをしているのだが，API の関数が Elixir と Elm で対応が取れているかどうかは，完全に手実装なので何の保証もない． 凄く悲しい． もしかしたら Haskell であれば Elm のコードを自動生成してくれるパッケージがあるのではないか，と思ったらあった(笑) なので，試しに Haslell × Elm で適当な Web アプリケーションを実装してみることにした． ちなみに，
Typed up CRUD SPA with Haskell and Elm - Part 5: Elm 0.17 Upgrade
Typed up CRUD SPA with Haskell and Elm - Part 5: Elm 0.17 Upgrade Elm version 0.17 was released a few weeks back. If haven’t already, you should read the annoucement post A Farewell to FRP. So what does that mean for the Albums app ? Sounds like we’re in for a massive rewrite. It turns out, since we were already using The Elm Architecture to structure our application, the impact isn’t that big aft
Typed up CRUD SPA with Haskell and Elm - Part 4: Feature creep
Typed up CRUD SPA with Haskell and Elm - Part 4: Feature creep So the hypothesis from episode 3 was that it should be relatively easy to add new features. In this episode we’ll put that hypothesis to the test and add CRUD features for Albums. There will be a little refactoring, no testing, premature optimizations and plenty of "let the friendly Elm and Haskell compilers guide us along the way".
日本初のElm Meetupに参加・発表してきました。 :: Igreque -> Info
報告が遅くなってしまいましたが、 （多分）日本初のElmの勉強会、「Tokyo Elm Programming Meetup」に参加しました！ 企画していただいたWyatt, 会場を貸していただいたCasley Consultingさん、ありがとうございました！ せっかくなんで軽めのネタで発表して参りました。 半ば飛び込みなところを受け付けて頂きありがとうございました！ 以下が資料です。 Whom to Recommend Elm to? 一応Slideshareにも挙げましょう。 ついでに、「何かElmで作ったものないの？」と質問され、 昨年のElm Advent Calendarで作成したラブリーコミューンも意図せず紹介することになり、楽しい発表となりました。 ちょっと緊張したけど割りと受けたようで安心です。 懇親会では結構Haskellとの違いに関する話題が多かったようです。 Has
Typed up CRUD SPA with Haskell and Elm - Part 3: Routing
Any serious Single Page Application needs to have routing. Right ? So before we add any further pages it’s time to add routing support to the Elm frontend. In episode 2, we implemented a Micky Mouse solution for page routing. Clearly that approach won’t scale. Now is a good time to implement something that can handle multiple pages, history navigation, direct linking etc. We could do it all from s
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - agrafix/elm-bridge: Haskell: Derive Elm types from Haskell types
GitHub - Holmusk/elm-street: :deciduous_tree: Crossing the road between Haskell and Elm
GitHub - rnons/ted2srt: Download bilingual subtitles of TED talks
GitHub - owensmurray/om-elm: Haskell utilities for embedded elm programs.
関数定義におけるパターンマッチング - Haskell vs Elm vs Elixir - Qiita
GitHub - NickSeagull/ramus: 📶 - Elm style FRP library for Haskell
GitHub - louispan/glazier: Command interpreter using Continuation monad and variants