Javascript 如何将TaskT与Trampoline的monad实例结合起来以获得无堆栈异步计算？
Javascript 如何将TaskT与Trampoline的monad实例结合起来以获得无堆栈异步计算？,javascript,functional-programming,monads,monad-transformers,trampolines,Javascript,Functional Programming,Monads,Monad Transformers,Trampolines,Trampoline是单子，它为单子变压器堆栈增加了堆栈安全性。它通过依赖一个特殊的解释器（monadRec）来实现这一点，解释器由一元计算的结果提供（实际上它是免费monad模式的一个专门版本）。因此，Trampolinemonad必须是最外层的monad，即transformer堆栈的基本monad 在以下设置中，TaskT（本质上是共享的Cont）是单子变换器，Trampoline是基本单子： //任务 const TaskT=TaskT=>记录( 塔克特， thisify（o=>{ o
TrampolinemonadRecTrampolineTaskTContTrampoline//任务
const TaskT=TaskT=>记录(
塔克特，
thisify（o=>{
o、 taskt=k=>
taskt（x=>{
o、 taskt=k_x=>k_x；
返回k（x）；
});
返回o；
}));
//单子
常量taskChainT=mmx=>fmm=>
TaskT（k=>
mmx.taskt（x=>
fmm（x）、taskt（k））；
const taskOfT=x=>
TaskT（k=>k（x））；
//变压器
const taskLiftT=chain=>mmx=>
TaskT（k=>chain（mmx）（k））；
//辅助功能
常量taskAndT=mmx=>mmy=>
任务链T（mmx）（x=>
任务链T（mmy）（y=>
taskOfT（[x，y]）；
const delayTaskT=f=>ms=>x=>
TaskT（k=>setTimeout（comp（k）（f），ms，x））；
常量记录=（类型，o）=>(
o[Symbol.toStringTag]=type.name | | type，o）；
常数thisify=f=>f（{}）；
常量日志=（…ss）=>
（console.log（…ss），ss[ss.length-1]）；
//蹦床
常数monadRec=o=>{
而（o.tag==“链”）
o=o.fm（o.chain）；
返回o.tag==“Of”
o.of
：_投掷（新类型错误（“未知蹦床标签”）；
};
//标签
常量链=链=>fm=>
（{tag:“Chain”，fm，Chain}）；
常数=Of=>
（{标签：“Of”，Of}）；
//单子
const recOf=Of；
const recChain=mx=>fm=>
mx.tag==“链”？链（mx.Chain）（x=>recChain（mx.fm（x））（fm））
：mx.tag==“Of”？调频（mx.of）
：_投掷（新类型错误（“未知蹦床标签”）；
//主要
常量foo=x=>
链（delayTaskT（x=>x）（0）（x））（Of）；
常数条=taskAndT(
taskLiftT（recChain）（foo（1）））
（taskLiftT（recChain）（foo（2））；//产量任务
常量main=bar.taskt（x=>Of（log（x））；//生成链（{fm，Chain:TaskT}）
莫纳德雷克（主要）；//产生[TaskT，TaskT]，但[1，2]需要IO任务IOTaskTContTContTTaskTsetTimeoutTaskTContTnewtype TaskT r m a=TaskT{TaskT:：（a->m r）->m r}
delayTaskT（a->b）->Number->a->TaskT r m bconst delayTaskT=f=>ms=>x=>
TaskT（k=>setTimeout（comp（k）（f），ms，x））；
setTimeout（comp（k）（f），ms，x）mrk=>setTimeout（comp（k）（f），ms，x）（b->mr）->mrkmrContT任务Contnewtype Task a=Task{Task:：（a->（））->（）}--Task=Cont（）
TaskIO任务foodelayTaskTfoo问题似乎是
fooTaskTChainTaskTTaskTfooa->tasktr蹦床afooa->蹦床（TaskT r m a）constfoo=delayTaskT（x=>x）（0）；
footaskOfTa->TaskT r m ataskLiftTtaskLiftTTaskTtaskLiftT:：（对于所有a b.m a->（a->m b）->m b）->m a->TaskT r m a
taskLiftT（recChain）：：蹦床a->TaskT r蹦床a
taskLiftT（recChain）foo（1）foo（2）foo:：a->蹦床（TaskT r m a）--foo的定义不正确
foo（1）：蹦床（任务编号）
foo（2）：蹦床（任务编号）
taskLiftT（recChain）（foo（1））：：TaskT r蹦床（TaskT r m编号）
taskLiftT（recChain）（foo（2））：：TaskT r蹦床（TaskT r m编号）
foofoo:：a->tasktr蹦床a——foo的正确定义
foo（1）：任务r蹦床号码
foo（2）：任务r蹦床号码
--无法将taskLiftT（recChain）应用于foo（1）或foo（2）