我有关于函数式程序设计的最新发展的详细资料。就像哈斯克尔支持高级概念，如GADT、Monad、函子等。coq / agdahaskell和coq都被用于学术领域，这是一个
浏览 0提问于2011-11-06得票数 7
回答已采纳
我正在将一种编程语言移植到Windows上，该语言具有“创建窗口”和“在窗口中创建按钮”等命令。编程语言本身是用C++实现的。我听说Windows上最新的、推荐的UI API是WinUI 3，但我无法真正找到任何关于如何在代码中定义GUI而不是从XAML文件中加载它的好信息。
如何在代码中创建WinUI 3图形用户界面？
浏览 13提问于2022-01-01得票数 5
2回答
我发现了很多关于使用Agda作为证明系统的有用信息。我几乎没有发现使用Agda编写可用程序的信息。我甚至找不到一个用Agda的最新版本编译的"hello world“示例。所以,
是否有其他类似性质的语言(懒惰、函数依赖类型的语言)有更成熟的文档来使用它们作为编程语言
浏览 0提问于2012-03-13得票数 19
回答已采纳
2回答
很快，我将为我的应用程序编写文件补丁程序(检查这些文件是否是最新的，下载最新的，如果不是的话)，所以代码不多。问题是，我不希望应用程序用户被迫使用像.NET这样的附加库(尽管我喜欢用vb.net或C#编写代码)。我要记住，.NET framework和Windows一起安装，但是仍然有很多人没有安装这个框架，这就是为什么我在寻找不需要额外库来运行应用程序的编程语言。我对C++/Java的编程</em
浏览 2提问于2013-06-28得票数 0
回答已采纳
1回答
为什么apt-get中的许多包已经过时了？例如，我希望在我的机器上获得clojure编程语言的最新实现。Function wrapper library for Clojure所有clojure实现都是旧的(clojure编程语言的最新版本是1.5。
为什么包不是最新<em
浏览 0提问于2013-08-14得票数 1
1回答
我正在寻找一种函数式语言，具有良好的合同功能设计(最好是一流的，但我也会做好的库).The我能找到的最好的是球拍，但我希望在JVM或CLR上的东西。
浏览 2提问于2012-07-30得票数 3
回答已采纳
2回答
当我尝试用微软的VisualC#编译器(v4.8.4084.0)从命令行编译源代码时，我会得到以下错误和/或警告：
此编译器是作为微软(R) .NET框架的一部分提供的，但只支持C# 5的语言版本，后者不再是最新版本。有关支持C#编程语言更新版本的编译器，请参阅。
作为Roslyn的一部分，目前正在开发语言特性；但是当前版本<em
浏览 9提问于2021-12-16得票数 1
回答已采纳
我已经用印地语设置了应用程序的默认语言(即系统默认语言以外的语言)，并使用谷歌的应用编程接口(PlaceAutocomplete，GoogleSignIn)。两者都是用英语(系统默认语言)显示文本，而不是用印地语或任何应用程序的默认语言。
有没有什么办法，我可以强制它们加载应用程序的默认语言，或者我可以传递我的默认应用程序的语言
浏览 1提问于2016-09-12得票数 15
1回答
我一直在搜索并尝试以许多形式将XML响应传递给一个简单的DataTable，就像Excel一样。<?xml version="1.0" standalone="no"?</Lists> </SOAP-ENV:Body>Excel所做的可以帮助我做我需要的事情我尝试过使用DataSe
浏览 29提问于2011-08-26得票数 1
我找不到关于当今最常用的编程和脚本语言以及在哪种环境中(例如web、桌面或移动)的真实、最新的信息。
我在哪里可以找到这样的信息？
浏览 0提问于2010-10-10得票数 0
回答已采纳
在过去的几年中，Khronos联盟已经发布了OpenCL规范的版本，其中不仅包括 OpenCL编程语言，而且还包括。有没有可能使用最新版本的CUDA和相关工具来编写针对nVIDIA GPU的类似C++的内核？NVIDIA的似乎有点过时，而且只支持C语言。
浏览 33提问于2019-11-06得票数 2
如何在我的win 10电脑上安装最新的cobol语言版本 我想做这样的编程 Identification Division.
Program-ID. HALLOPGM.
浏览 12提问于2020-08-25得票数 0
2回答
实时协同绘图系统的开发
、、、、
我有兴趣制作一个类似于的实时协同绘图系统。然而，我只想使用开放源码工具(flockdraw使用闪存并限制用户数量)，而且我也将自己托管它。更新。这个看起来非常相关。
浏览 1提问于2013-05-21得票数 2
回答已采纳
环境我的Go版本是通过apt-get install golang安装的1.2.1最好的做法是：B-尝试将现有Go升级到1.3或更高版本
C-？
浏览 3提问于2015-07-10得票数 1
3回答
我想学习开发自己的脚本(或插件？)用于Adobe Illustrator CS6。
我不能理解的是脚本和插件之间的区别是什么？
浏览 6提问于2014-01-31得票数 1
我使用的是Windows 7计算机，我是管理员。我一直在寻找指南或教程来帮助我，但什么也没有出现。提前感谢大家。
浏览 2提问于2013-07-13得票数 0
回答已采纳
4回答
当然，我们可以为此编写代码，但这也需要对此进行编程，并使用多种编程语言来处理bug。然而，它需要尽快发布。使用第三方工具生成HTML不是问题。然而，这个第三方工具，代码到html格式化程序，应该是免费的，健壮的，应该转换到Java1.5和其他语言的最新版本。你知道任何这样的转换器(代码到html的转换器/格式化程序)是免费的，可分发的，健壮的，可以转换到
浏览 3提问于2009-03-02得票数 1
回答已采纳
是一种统计编程语言。R的一部分是使用包，它们本身是用R语言编写的。编程最佳实践包括使用单元测试来测试这些包中的函数，而这些功能是在编写和使用时进行的。我知道在R中有一些用于单元测试的包，它们是
外面还有别的包裹吗？考虑到人们的经验，这些包在不同的方面是否都很出色？R单元测试的最新进展是什么？
浏览 1提问于2010-03-30得票数 48
回答已采纳
但是只有几个例子的表，所以我不想“硬编码”这个信息。也许有人知道一些API或CLI请求，如何得到这个？
浏览 7提问于2022-11-23得票数 0
我有一个怀疑，是不是有可能给我的最新项目英语以外的文本，我需要支持印地语，泰米尔语和法语，所以如果用户选择的语言为印地语或泰米尔语或法语，所以无论用户在文本框中给予什么值，它必须在相应的语言选择显示。我的编程环境是vc++
浏览 3提问于2009-12-12得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
