没有合适的资源?快使用搜索试试~ 我知道了~
程序员为什么还要刷题-Sirea:简单的React!Haskell中使用RDP的声明式编排
共75个文件
hs:59个
txt:6个
lhs:4个
需积分: 11 0 下载量 83 浏览量
2021-07-07
14:42:34
上传
评论
收藏 184KB ZIP 举报
温馨提示
程序员常刷题西雷亚 硅mply雷亚莫如! 使用响应式需求编程 (RDP) 模型在 Haskell 中进行声明式编排。 RDP 应用程序是在空间和时间中编排的信号和声明效果的复杂交响曲 RDP 是有状态网格上的无状态逻辑 每个人都知道“副作用不是成分” 。 但这种说法只适用于一般情况。 有一些有用的副作用子集具有很好的特性——例如幂等性、交换性、单调性。 对于一小部分效果,可以实现与最好的纯守法编程模型相当的等式推理和重构。 我称这些为声明性效果。 任何纯函数式编程的拥护者也都知道效果很少是必不可少的,即足够的聪明才智会找到大多数问题的完美解决方案。 仅仅通过一点点聪明和一些高度受限的声明性效果,还能实现多少? 响应式需求编程就是为了回答这个问题而开发的。 在 RDP 中,唯一的作用是观察资源的活动需求集。 这些需求通常是查询或控制信号。 RDP 的效应模型的灵感来自物理学和心理学中的对称观察者效应:人们无法在不影响其行为的情况下观察系统。 由于观察意味着影响,因此观察的唯一目的是影响。 因此,查询和控制只需要一个概念。 需求表示为长期存在的信号。 信号处理是本地的、模块化的和可组合的。
资源推荐
资源详情
资源评论
收起资源包目录
Sirea-master.zip (75个子文件)
Sirea-master
tst
Hello.hs 268B
Fibonacci.hs 1KB
TstDeMon.hs 2KB
TstPure.hs 4KB
TimeStamp.hs 205B
RotDyn.hs 1KB
TimeTrigger.hs 1006B
Clock.hs 944B
Cyc.hs 686B
TstCross.hs 1KB
sirea-filesystem
LICENSE.txt 1KB
src
Sirea
Filesystem
KeyedSched.hs 1KB
WorkerPool.hs 2KB
OSManager.hs 505B
Linux.hs 3KB
Windows.hs 2KB
Polling.hs 6KB
Manager.hs 2KB
OSX.hs 6KB
LocalMirror.hs 3KB
Filesystem.hs 10KB
Setup.lhs 116B
sirea-filesystem.cabal 2KB
LICENSE.txt 1KB
src
Sirea
SRef.hs 11KB
BDeep.hs 16KB
Activate.hs 12KB
AgentResource.hs 8KB
Time.hs 6KB
Partition.hs 6KB
Internal
B0Dynamic.hs 27KB
Tuning.hs 6KB
STypes.hs 7KB
PulseSensor.hs 3KB
B0.hs 2KB
LTypes.hs 17KB
B0Compile.hs 4KB
Choke.hs 9KB
PTypes.hs 8KB
Thread.hs 2KB
BCross.hs 14KB
B0Impl.hs 27KB
CC.hs 3KB
SigType.hs 9KB
B0Type.hs 2KB
DemandMonitorData.hs 24KB
TimeStamp.hs 4KB
UnsafeLink.hs 4KB
Prelude.hs 988B
Behavior.hs 32KB
B.hs 2KB
TimeTrigger.hs 2KB
UnsafeIO.hs 5KB
Signal.hs 13KB
Foreach.hs 0B
Trans
Pure.hs 3KB
Reader.hs 2KB
Static.hs 3KB
Error.hs 3KB
PCX.hs 6KB
Clock.hs 9KB
Utility.hs 6KB
DemandMonitor.hs 8KB
Setup.lhs 116B
sources.txt 4B
sirea-plugins
LICENSE.txt 1KB
Setup.lhs 116B
sirea-plugins.cabal 2KB
README.md 81KB
sirea-core.cabal 3KB
sirea-glfw
LICENSE.txt 1KB
Setup.lhs 116B
sources.txt 8B
sirea-glfw.cabal 3KB
.gitignore 72B
共 75 条
- 1
资源评论
weixin_38605144
- 粉丝: 6
- 资源: 945
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功