草庐IT

javascript - FP 中的代数效应是什么意思？

coder 2023-07-06 原文

引用:

  • http://www.eff-lang.org/handlers-tutorial.pdf
  • https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf
  • https://github.com/matijapretnar/eff

    • 找了很多链接，好像没人能具体解释一下。谁能给出一些代码(使用javaScript)来解释它？

    最佳答案

    什么是代数效应？
    TL;DR:简而言之，代数效应是一种异常(exception)机制，它让 throw ing 函数继续运行。
    尝试将代数效应视为某种 try/catch机制，其中catch处理程序不仅“处理异常”，而且能够提供一些输入 到抛出异常的函数。来自 catch 的输入然后在 throwing 函数中使用处理程序，该函数继续执行，就好像没有异常一样。
    一些示例伪代码:
    让我们考虑一个需要一些数据来执行其逻辑的函数:

    function throwingFunction() {
    // we need some data, let's check if the data is here
    if (data == null) {
        data = throw "we need the data"
    }
    // do something with the data
}
    然后我们有调用这个函数的代码:
    function handlingFunction() {
    try {
        throwingFunction();
    } catch ("we need the data") {
        provide getData();
    }
}
    如您所见，throw语句是对 catch 提供的数据求值的表达式处理程序(我在这里使用了关键字 provide，这在当今的任何编程语言中都不存在)。
    为什么这很重要？
    代数效应是一个非常普遍和基本的概念。这可以从许多现有概念可以在代数效应中表达的事实看出。try/catch如果我们在我们最喜欢的编程语言中有代数效应但没有异常，我们可以省略 provide catch 中的关键字handler，瞧，我们会有一个异常机制。
    换句话说，如果我们有代数效应，我们就不需要任何异常。async/await再看上面的伪代码。让我们假设我们需要的数据必须通过网络加载。如果数据还不存在，我们通常会返回一个 Promise 并使用 async/await来处理它。这意味着我们的函数变成了一个异步函数，只能从异步函数中调用。但是，代数效应也有这种行为:
    function handlingFunction() {
    try {
        throwingFunction();
    } catch ("we need the data") {
        fetch('data.source')
            .then(data => provide data);
    }
}
    谁说的provide关键字必须立即使用？
    换句话说，我们在 async 之前是否有代数效应？/await ，就没有必要用它们来弄乱语言。此外，代数效应不会渲染我们的函数 colorful - 从语言的 Angular 来看，我们的函数不会变得异步。
    面向方面的编程
    假设我们希望在我们的代码中有一些日志语句，但我们还不知道它将是哪个日志库。我们只需要一些通用的日志语句(我在这里用关键字 throw 替换了关键字 effect，以使其更具可读性 - 请注意，effect 不是我所知道的任何语言中的关键字):
    function myFunctionDeepDownTheCallstack() {
    effect "info" "myFunctionDeepDownTheCallstack begins"

    // do some stuff

    if (warningCondition) {
        effect "warn" "myFunctionDeepDownTheCallstack has a warningCondition"
    }

    // do some more stuff

    effect "info" "myFunctionDeepDownTheCallstack exits"
}
    然后我们可以在几行中连接任何日志框架:
    try {
    doAllTheStuff();
}
catch ("info" with message) {
    log.Info(message);
}
catch ("warn" with message) {
    log.Warn(message);
}
    这样，日志语句和实际执行日志记录的代码是分开的。
    如您所见，throw关键字并不真正适合非常一般的代数效应的上下文。更合适的关键字是effect (此处使用)或 perform .
    更多例子
    还有其他现有的语言或库结构可以使用代数效应轻松实现:
  • 带有 yield 的迭代器.具有代数效应的语言不需要 yield陈述。
  • React Hooks(这是一个库级结构的例子——这里的其他例子是语言结构)。

    • 今天的支持
    AFAIK 开箱即用支持代数效应的语言并不多(如果您知道支持的示例，请发表评论)。然而，有些语言允许创建代数效果库，其中一个例子是带有 function* 的 Javascript。和 yield关键字(即 generators )。图书馆redux-saga使用 Javascript 生成器来创建一些代数效果:
    function* myRoutineWithEffects() {
    // prepare data load
    let data = yield put({ /* ... description of data to load */ });
    // use the data
}
    put是一条指令，告诉调用函数执行参数中描述的数据加载调用。 put它本身不加载任何内容，它只是创建了要加载的数据的描述。此描述由 yield 传递调用函数的关键字，它启动数据加载。
    在等待结果时，生成器例程暂停。然后，结果被传递回例程，然后在分配给 data 后可以在那里使用。多变的。然后该例程继续使用本地堆栈加上加载的数据。
    请注意，在这种情况下，只有调用函数(或引用生成器的代码)可以“服务”代数效果，例如做数据加载和其他事情。所以它不是如上所述的代数效应，因为它不是一种可以在调用堆栈上上下跳转的异常机制。

    关于javascript - FP 中的代数效应是什么意思？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/49626714/

    javascriptFPcodedata关键functional-programming

    有关javascript - FP 中的代数效应是什么意思？的更多相关文章

    1. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

      总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

    2. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

      类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

    3. ruby - 其他文件中的 Rake 任务 - 2

      我试图在一个项目中使用rake，如果我把所有东西都放到Rakefile中，它会很大并且很难读取/找到东西，所以我试着将每个命名空间放在lib/rake中它自己的文件中，我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题，但没有任务。我现在只有一个.rake文件作为测试，名为“servers.rake”，它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时

    4. ruby-on-rails - Ruby net/ldap 模块中的内存泄漏 - 2

      作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代

    5. ruby-on-rails - Rails 3 中的多个路由文件 - 2

      Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情？ 最佳答案 在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中，使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件，我们在StackOverflow上找到一个类似的问题

    6. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

      我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

    7. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

      我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

    8. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

      我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

    9. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

      我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何

    10. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

      为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

    随机推荐