我正在尝试将Idris与原生脚本结合使用，通过使用Idris codegen FFI并使用JavaScript作为JavaScript目标。但是，原生脚本似乎使用了全局变量，例如一个名为global的对象。我如何才能在Idris中使用该对象？
浏览 7提问于2018-02-12得票数 3
我正试图为我的编码元实现FFI部分，虽然传递像Int这样的值是可行的，但我最大的问题是如何传递函数。function twice(f, x) {}twice : (Int -> Int) -> Int -> IO Int FFun "twice(%0,%1)"
浏览 2提问于2020-03-15得票数 2
1回答
ram.mem" printLn $ length memmain = do
$ idris-p字节-o SOMain SOMain.idr符号"idris_newB
浏览 1提问于2018-04-28得票数 1
回答已采纳
假设我在Idris中有一个函数，它可以进行一些计算。为了简单起见，现在就让它被打印出来吧。f: String -> String我知道我可以用Main.main函数编译整个模块，并输出或多或少难以理解的JavaScript。
浏览 0提问于2019-07-19得票数 4
给定：看看它的类型，MkFFI C_Types String String签名的含义是什么？x : IO' (MkFFI C_Types String String) Int*lecture2> :exec x Type mismatch between
浏览 0提问于2017-07-26得票数 3
有没有办法使用idris生成库而不是可执行文件？如果我尝试在不使用main的情况下进行编译，则会得到如下错误： No
浏览 27提问于2015-03-15得票数 18
我想从FFI函数定义中返回对Javascript对象的引用，以便稍后能够操作该对象：import Foreign.JavaScriptpoints = mkJSObject . f points f :: [[Double]] -> Value -> JSFunction NewJSObject但是底层的
浏览 6提问于2016-09-27得票数 1
Rails 4应用程序中的一个视图加载一个简单的javascript，以便在页面加载后创建Ace编辑器的实例.%= button_to "Set Content", {controller: :pages, action: 'set_content'}, remote: true %>
这需要一些不引人注目的javascript由于ajax调用无声地失败，而且我不知道如何使用与我使用的调试普通javascript代码相同的Chrome工具来调
浏览 1提问于2014-10-05得票数 0
回答已采纳
1回答
节点ffi结构变量数组
、、、
我使用的是节点-ffi，我有一个需要传递的结构。结构中的一些变量是数组。如何在JavaScript包装器中定义这一点？struct unsigned char myUChar; float arrayFloat[ARRAY_SIZE];JavaScript包装器：var Struct require('
浏览 5提问于2015-05-14得票数 1
回答已采纳
1回答
NodeJS接口
、、、
我试图弄清楚如何在C库和NodeJS模块之间传递数据。我能通过NodeFFI模块做到这一点吗？
或者我需要编写自己的NodeJS插件来开发一个C接口？
浏览 1提问于2013-04-29得票数 1
我试图传递从JavaScript文件中获取的数组中的值，并使用全局变量将其推送到angularJS。
在角文件中，我试图通过访问全局变量来获得这些值，例如，但是它在运行时返回未定义的值。如何在我的控件中访问这些值？
浏览 1提问于2017-09-06得票数 0
回答已采纳
我在global.js文件中声明了javascript全局变量，例如：将全局变量glbValue的值从first.html中计算出来，例如：<script type="text/javascript">
function onBtnSub
浏览 6提问于2014-03-18得票数 1
当然，如果您使用它并进行调整，可以自由地共享它:)import Graphics.UI.Threepenny.Core= do str <- callFunction $ ffi
浏览 1提问于2015-02-22得票数 2
回答已采纳
我有个玩具在Idris和Vala/C端，我都有一个方法来设置指向Idris函数的指针。因此，在Vala代码中可以看到：它使用指向函数Idris的指针设置一个全局变量。但是我如何使它与字符串一起工作呢？
m
浏览 3提问于2019-09-05得票数 2
回答已采纳
我在javascript中有一个client全局变量。我需要从位于不同页面的服务器端访问这个全局变量。如何在没有查询字符串的情况下实现这一点？如果需要会话状态，那么我如何从javascript设置会话？好的..。下面是完整的场景..该页面本身是一个sharepoint网页，我只有web部件的控制。现在，我如何将javascript变量从主页传递到另一个页面，并使其可在代码隐藏中访问？
浏览 3提问于2012-04-27得票数 0
回答已采纳
如何将变量从typescript推送到浏览器全局上下文，以便可以使用控制台对其进行调试？
干杯。
浏览 4提问于2017-07-25得票数 1
回答已采纳
1回答
我仍然在学习AngularJS，但我不确定我读到的控制能力(通过javascript)减少是否是一件好事。我的意思是，一切都是通过HTML代码/属性绑定完成的。除了通过‘低级’javascript代码将它们注入控制器之外，我如何访问$rootScope或其他任何服务？
角全局变量在登录到控制台时不包含太多内容。还可以使用什么来发现可以通过javascript访问的可能方法？
浏览 0提问于2014-01-01得票数 0
回答已采纳
我正在尝试编写用于基本DOM操作的Gleam JavaScript绑定。我想用微光实现以下JavaScript功能：我写此信的外部定义如下如何做到这一点？
我找不到这方面的任何文件在格莱姆网站上。我认为类似于寓言允许写的方式是可能的。然而，这是行不通的。
浏览 7提问于2022-03-27得票数 2
回答已采纳
我想知道如何创建一个带有全局变量的Javascript修补程序。下面是我如何使用它的一个例子。Javascript修补程序#1Javascript修补程序#2Javascript修补程序#2通过启用连接到SpritePatch
if debug
浏览 3提问于2014-01-03得票数 0
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
