限定継続いろいろ | 雑記帳
このブログでは限定継続について過去に何回か記事を書きました： LunarMLと継続限定継続と例外とモナド 今回、LunarML向けのVMに限定継続を実装してみて理解が深まったので、改めて記事にします。 限定継続：スタックを使ったざっくりとした説明 今回はスタックを使って限定継続をざっくりと説明してみます。 関数という概念を持つプログラミング言語では、スタックを使って関数の呼び出しを管理することが多いです。コールスタックとか、スタックのバックトレースとか言いますよね。ここではネイティブのスタックか仮想マシンのスタックかというのは問いません。 関数を呼び出すと、フレームと呼ばれる領域がスタックに確保されて、関数への引数やローカル変数はそこに確保されたりします。 例えば、以下のプログラムを考えます： void g() { // すごい計算 } void f() { double j; g();
Project Overview ‹ λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus – MIT Media Lab
The area of non-verbal programming languages has not been unexplored. There are ASCII-based languages such as Befunge and asciidots, as well as image-based ones such as Piet, just to name a few. Both inspired and challenged by these work, I set the following goals for my new language: To take advantage of the fact that the program is drawn, to include features that is otherwise unfeasible with tex
「ラムダ型」これまでない変異 ワクチン効果低減か
今、新型コロナウイルスの感染拡大の中心となっている南米で確認された新たな変異株「ラムダ型」について、専門家はワクチンが効きにくい可能性を指摘しています。 WHO（世界保健機関）は14日、「注目すべき変異株」に南米で拡大しているラムダ型を追加しました。 ラムダ型は去年8月にペルーで初めて確認され、最近のペルーの感染の81％を占め、アルゼンチンやチリでも30％以上を占めているということです。 ニューヨーク大学・多田卓哉博士研究員：「（ラムダ型は）490番目のまったく違う新しいところに変異が入っている。3倍から4倍、ないしは5倍くらいワクチンの有効性が下がるのではないか」 多田研究員によりますと、ラムダ型にはこれまでにない変異が細胞との接続部分にあり、既存のワクチンの効果が弱くなる可能性があるということです。
Beginner friendly code and APIs
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. October 30, 2015By Michael SnoymanView source on Github I just flew from Tel Aviv to Los Angeles. It's a long flight, and includes significant travel time outside of the flight itself. There are two results of that: (1) I've slept something like 8 hours in the past 72, and (2) I've
Ladder of Functional Programming 〜関数型プログラミングのレベル分け〜 - Qiita
LambdaConfがツイートにて関数型プログラミングのレベル分けを発表していました。今後LambdaConfから発信される発表にはこのレベルが表記され, 自分のレベルにあったコンテンツが探しやすくなるようです。このレベル分けはプログラマの優劣を付けるようなものではなく, 広く深い関数型プログラミングの世界で自分が今どのレベルにいるのかを適切に理解し次にどこに向かうべきなのかを知るのにたいへん役に立つものだと思います。 表を眺めてみると関数型プログラミングというよりかはHaskellのレベル分けのような印象も受けますが、広く知られるべきだと思ったので翻訳してみました。僕が未熟でトンチンカンな訳をしている箇所もあると思うので、何か見つけた場合は遠慮なくコメントや編集リクエストをお願いします LambdaConf Ladder of Functional Programming (LOFP)
monadからeffectへ - Just $ A sandbox
追記 もう少しまともなeffect入門記事を書きました myuon-myon.hatenablog.com この文章は今から5-10年後に万が一effect systemが流行り始め、今のHaskellのような立ち位置になった場合に備えて書いています。 effect systemについて Haskellはモナドを用いて純粋・非純粋を切り分けることができる言語で、computational effectを扱うために導入されたものだった。 かつては関数 A -> B で一緒くたにしていたcomputationは、 A -> T B と、文脈 T をもった関数として表現できるようになった。ところでこのようなcomputational effectとしてのモナドを言語機能に組み込むには2つの方法があって、 Meta Language方式 (Haskell) Programming Language
【幽霊型トリック集】キェェ！幽霊型でバグを呪い殺すのじゃ！【呪術プログラミング】
【幽霊型トリック集】キェェ！幽霊型でバグを呪い殺すのじゃ！【呪術プログラミング】 この投稿は ML Advent Calendar 2015 の 16 日目の記事です。早速ですが、タイトルの「呪術プログラミング」という用語は単なる釣りです。 こんな専門用語は存在しません。 あと、Advent Calendar に「この記事を読むと呪われる」とか書きましたが、 SNSで拡散すると解呪できます ウソです。呪われないので安心してください。 「幽霊型」というキーワードでググると、幾つかの記事や発表のスライドがヒットしますが、 幽霊型 (phantom type) の有用なテクニックについて広く浅く紹介した記事がないように思えたので、 私が書くことにしました。 この記事では、私が今までに書いた幽霊型に関する記事と、その概要をまとめています。 基本的に、サンプル・コードは OCaml ですが、 大部分
こわくない Idris (1) - Ryusei’s Notes (a.k.a. M59のブログ)
はじめに Idrisという、Haskellに似ていて、依存型 dependent type を持っている言語がある。依存型を持った言語なんて他にもあるのだけれども、Idrisは general purpose を謳っている。わざわざ汎用って謳っているあたり、依存型ってのはもっと色々に使えるものなんだぞって主張があるように思う。 そんなIdrisなんだけど、日本語による文献はとても少ない。今のところ、Idrisをやろうって人はまず英語のチュートリアル読まなきゃいけない。僕はIdris初心者でまだIdrisらしいプログラミングがどんなものか分からないのだけれども、日本語による学習ノートを残しておこうと思う。もしかしたらデタラメ書いてるかもしれないので、はてブかTwitter @mandel59で教えて下さい。 Idris Idris チュートリアル (英文) Programming in Id
OO設計とは異なるアプローチ 関数型・代数的ドメインモデリングとは #ScalaMatsuri #sm_a
Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado. https://t.co/iMNdBBu9Ga Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg The first talk @ScalaMatsuri has numerous references to shapeless, scalaz, Prisms & Iso .. What can go wrong from here ?
関数型プログラミングの今昔（仮）
函数プログラミングの集いで発表したスライド． 後半についての詳細を知りたい方には， Hudak らの A History of Haskell をお薦めします．Read less
FRPの話 - maoeのブログ
Haskell Advent Calender 2012で久々にブログを書くということで、ついでにはてなダイアリーからはてなブログに移行してみた。記事やコメントはもちろんのこと、はてブも移行でき、なおかつundoもできるという素晴らしい仕様なので、安心して移行することができた。 さて、今回はFunctional Reactive Programming（FRP）の話。FRPとは、時間やシステム外部からの入力に対して応答するプログラムを関数的に表現する方法とでも言えばよいだろうか。 FRPというとまだ定番の実装もなく、実用にはほど遠いと考える人もいるかもしれない。実際、FRPの実装に関してはまだいろいろ研究・改良の余地があるとは思うものの、以前のように簡単にメモリリークするようなことも無く、最近では試してなるほど便利そうと思える段階にまでは洗練されてきていると思う。 FRPが登場してからの1
ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー
ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって，Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について，もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある リストのような再帰的なデータ型では，データコンストラクタの置き換え方が2種類あります。 data List a = Cons a (List a) | Nil (1) 全てのデータコンストラクタを置
関数型言語でのデザイン手法
Takashi Miyamoto @tmiya_ オブジェクト指向はOOPの他にOOA,OODなど上流工程向けの方法論があるのだが、関数型言語についてもFPの他にFA,FDがあるのだろうか？誰か適切な論文/教科書とか知りませんか？ 2010-05-30 09:26:38 Ikegami Daisuke @ikegami__ 探してみます。でも強い型付けか、弱い型付けかで、まるっきり異なるでしょう RT @tmiya_: オブジェクト指向はOOPの他にOOA,OODなど上流工程向けの方法論があるのだが、関数型言語についてもFPの他にFA,FDがあるのだろうか？誰か適切な論文/教科書とか知りませんか？ 2010-05-30 09:30:40 Ikegami Daisuke @ikegami__ @tmiya_ 個人的な感想ですが、強い型付けのプログラミング言語で開発を行う場合、実装の前に、全体
Slide 1
Combining languages and SMT solvers an EDSL study Don Stewart | WG 2.8 | March 2011 © 2011 Galois, Inc. All rights reserved. The Productivity Challenge in Software As John Hughes pointed out yesterday, we must climb a productivity cliff in software construction if we are to build the multi-million line codebases industry demands, when labor is expensive The “FP” approach: – Automate code gener
The Fun of Programming
Edited by Jeremy Gibbons and Oege de Moor in honour of Richard Bird's 60th birthday. A symposium was held to mark the occasion. Information about the book and ordering details can be found here. Some of the code and software from the book is available from the links below. Please note that the software versions will be those from around the time of publication of the book and are provided here for
Freeモナドを超えた！？operationalモナドを使ってみよう - モナドとわたしとコモナド
限定版IOみたいなモナドを簡単に作れたら、コードが分離できるしテストもしやすくなるのになあ… 数か月前なら、 それ、Freeモナド*1でできるよ！ と返されるだろう。だが今は違う。Freeモナドよりも簡単にモナドを作れるモナド、Operationalモナドがあるのだ。 Freeモナドについて復習しよう。FreeモナドはFunctorを基にMonadを作れる構造であり、Functorで自分自身を包むことによってモナドの力を得ている*2。FunctorそのものはDeriveFunctor拡張を使って簡単に作れる。 {-# LANGUAGE DeriveFunctor #-} import Control.Monad.Free data CharIO a = PutCh Char a | GetCh (Char -> a) | LiftIO (IO a) deriving Functor put
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
しゅうまい君 on Twitter: "弊社に、気付けばはなまるうどんにモナド欲しいんだけど、恋愛小説の夏』じゃなかったこと考えてくれる道具でも大抵やりたい放題だしちゃうから困る"
https://okmij.org/ftp/meta-programming/quel.pdf
Design Patterns for Functional Strategic Programming
How wonderful to be (statically) typed 〜型が付くってスバラシイ〜
