What’s in a Continuation
Many people have heard the word “continuation” because it has something to do with node’s callback hell. I don’t think most people understand what continuations really are, though. They aren’t just a callback function used by async functions. A continuation is a representation of the control flow of your program at any point in time, essentially the stack. In abstract terms, it represents "the res
Scheme:使いたい人のための継続入門
使いたい人のための継続入門継続渡し形式call/ccは普通の関数call-with系関数call-with-procedurecall-with-continuation-procedurecall-with-current-continuation評価順序と継続call/ccパズルお手元マルチスレッド部分継続reset/pcとcall/pc環境破壊と部分継続部分継続の使用法PRINT-AND-NEXT-REPL議論質問お手元マルチスレッドのサンプルプログラムについて 使いたい人のための継続入門 とりあえず殴り書き。 くどかったり冗長な文章になってたり、重複してたり、間違ってたり、 おおいなる勘違いをしてたり、恥をカいてたりするかもしれないけどご愛敬。 藁をもつかみたい気持ちで継続を使えるようになりたい人は読んでみてください。 ただし所詮は藁です。(ｗ 継続渡し形式 例によって階乗fact
限定継続 in Haskell 98 by Oleg Kiselyov - keigoiの日記
限定継続フェスタ があると聞きまして，私もちょっぴり勉強しています。 Schemeには馴れていないし、僕のPCには処理系も入ってないので、Haskellでやります。 Olegさんの投稿 (http://www.mail-archive.com/haskell@haskell.org/msg20758.html ) から、Haskll98で動作する 限定継続の実装が手に入ります。浅井先生・亀山先生の型システムを実装したものらしいです。 細かいことはわかりませんが、モナドはわかるのでためしてみます。 $ ghci ShiftResetGenuine.hs ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.6, for Haskell 98. / /_\\/ __ / /___| | http:
static single assignment for functional programmers — wingolog
Friends, I have an admission to make: I am a functional programmer. By that I mean that lambda is my tribe. And you know how tribalism works: when two tribes meet, it's usually to argue and not to communicate. So it is that I've been well-indoctrinated in the lore of the lambda calculus, continuation-passing style intermediate languages, closure conversion and lambda lifting. But when it comes to
schemeマクロで実装する（不完全な）reset/shift - Qiita
(define-syntax reset (syntax-rules () ((reset ?e) (*reset (lambda () ?e))))) (define-syntax shift (syntax-rules () ((shift ?k ?e) (*shift (lambda (?k) ?e))))) (define (*meta-continuation* v) (error "You forgot the top-level reset...")) (define (*abort thunk) (let ((v (thunk))) (*meta-continuation* v))) (define (*reset thunk) (let ((mc *meta-continuation*)) (call-with-current-continuation (lambda (
OchaCaml: shift/reset-extension of Caml Light
OchaCaml: shift/reset-extension of Caml Light September 16, 2017 What is OchaCaml OchaCaml is a Caml Light system extended with delimited control operators, shift and reset. It supports the let-polymorphic type system with answer type modification. Added Features reset (fun () -> M) Delimit the context of M. shift (fun k -> M) Clear the current delimited continuation, bind it to k, and execute M.
Why doesn't a primitive `call-with-current-continuations` exist in Common Lisp
Common Lisp has a detailed file compilation model as part of the standard language. The model supports compiling the program to object files in one environment, and loading them into an image in another environment. There is nothing comparable in Scheme. No eval-when, or compile-file, load-time-value or concepts like what is an externalizable object, how semantics in compiled code must agree with
連載: IBM Watson Workspace #鬼わか アプリケーション開発: 第 7 回: IBM Watson Workspace で AI を利用したアプリ連携の実現 #鬼わか 解説（前編）
Continuations-Based Web Applications in Common Lisp With Weblocks
Continuations-Based Web Applications in Common Lisp With Weblocks Introduction Whenever I have to write convoluted code to express a simple idea, I instinctively try to avoid doing work. The corollary of this is that every time I reach for my inbox during coding, there's a pretty good chance I need an abstraction I don't have. I suspect this is true for most programmers, not just myself. If this i
なんでも継続 - Google 検索
一般には、関数func1から関数func2を直接呼べない場合に「func2を呼ぶという継続」をスタックにプッシュして、 func1から一度抜けるテクニックを「トランポリン」と呼ぶ。
Parallel Universe
August 07, 2015 From Imperative to Pure-Functional and Back Again: Monads vs. Scoped Continuations By Ron This post accompanies this video and won’t make too much sense without it Last month I gave a talk called Please Stop Polluting our Imperative Languages with Your Pure Concepts at the Curry On conference, a new conference co-located with the academic programming language conference, ECOOP, and
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Understanding Continuations - School of Haskell | School of Haskell
SECD machine LISPで部分継続(限定継続)メモ - レガシーコード生産ガイド
Quickdocs
m-katya-site/.quicklisp/dists/quicklisp/software/cl-cont-20110219-darcs/cl-cont.asd at master · html/m-katya-site
Google
Google Search
continuation-passing - MetaOptimize
Google Search
INDEX of Papers