标签: programming-languages

LISP和C#在函数式编程方面有哪些主要区别？具体而言,如果LISP程序员转而使用C#,他们最有可能错过的功能是什么？

我注意到自从HoTT以来,"Axiom K"的讨论经常出现.我相信它与模式匹配有关.我很惊讶我在TAPL,ATTAPL或PFPL中找不到参考.

• 什么是Axiom K？
• 它是否用于ML样式的模式匹配,如SML(或只是依赖模式匹配)？
• 什么是Axiom K的适当参考？

我正在努力理解单个和多个调度是什么.

我刚刚读到这个:http:
//en.wikipedia.org/wiki/Multiple_dispatch

从这个定义来看,我认为C#和VB.Net是多分派的,即使在编译时选择要调用的重载也是如此.

我在这里是正确的,还是我错过了什么？谢谢!

我已经掌握了一些语言(粗略的专业知识):Python,C,C++,PHP,Javascript,Haskell,Java,MIPS,x86汇编程序.但是,自从我学会了一个新的,已经差不多2年了,我开始痒了.我有几个标准:

1. 必须(重复:必须)有一个免费的Linux实现
2. 应该与我已经知道的语言不同.换句话说,它应具有让我思考以新方式解决问题的功能.
3. 应该有一些实际应用的潜力.它不需要是下一个Java,但这排除了Brainf*和莎士比亚:)我真的不关心它有多少招聘帖子,但真实世界的应用程序和库是一个加号.
4. 应该至少有足够的免费学习材料来帮助我入门.

我在想Lisp(CL？还有什么？)或OCaml.我已经有了一些使用Haskell的函数式语言的经验(是的,我知道Lisp/OCaml是多范式的).我不是专家 - 例如来自Real World Haskell的部分代码仍然可以扭曲我的大脑,但我理解基本概念和一些高级概念(仿函数,monad).

哪一个选择？我忽略了其他任何语言？另外,您能不能包括一些有用的链接到好书/教程等.

我想根据我是否在调试模式下构建来有条件地排除/包含代码.

我可以像在C++中一样使用像#ifndef _DEBUG这样简单的东西吗？

我用Qt完成了几个月的开发(仅以编程方式构建GUI),现在我开始使用Cocoa了.我不得不说,我喜欢可可.使用Cocoa,很多Qt中看起来很难的东西都很容易.Obj-C似乎远不如C++复杂.

这可能只是我,所以:你觉得这个吗？

Cocoa如何与WPF(是正确的框架？)相比？
Obj-C与C#与C++相比如何？
XCode/Interface Builder如何将Visual Studio与Qt Creator进行比较？
Documentations如何比较？

例如,我发现Cocoa的Outlets/Actions比Qt的Signals and Slots更有用,因为它们实际上似乎涵盖了大多数GUI交互,而我不得不在一半时间内处理Signals/Slots.(我只是错误地使用它们吗？)
另外,XCode的标准模板给我复制/粘贴,撤消/重做,保存/打开以及许多其他东西几乎是免费的,而这些是Qt中相当复杂的任务.

如果您对这些开发环境/框架/语言中至少有两个有实际了解,请回答.

我正在开发C++中的功能域特定嵌入式语言,以尽可能简洁准确地将公式转换为工作代码.

我在评论中发布了一个原型,它大约有两百行.

现在我的语言看起来像这样(好吧,实际上看起来像):

// implies two nested loops j=0:N, i=0,j
(range(i) < j < N)[T(i,j) = (T(i,j) - T(j,i))/e(i+j)];

// implies summation over above expression
sum(range(i) < j < N))[(T(i,j) - T(j,i))/e(i+j)];

我正在寻找可能的语法改进/扩展或只是尽可能清晰和精确地表达数学公式的不同想法(在任何语言,而不仅仅是C++).

你能给我一些与我的问题有关的语法例子,这些例子可以用你认为有用的选择语言来完成.特别是,如果您对如何翻译上述代码段有一些想法,我很乐意听到它们.

谢谢.

为了澄清并给出一个实际的公式,我的短期目标是表达以下内容

表达式简洁,其中值<>已经计算为4维数组.

我不太了解编程语言,但我对facebook的职业感兴趣,所以我想知道是否有人可以告诉我facebook使用的编程语言.

此外,其他任何社交网站是否使用相同的语言？

在Wiki中阅读Lambda微积分时,遇到了捕获避免替换的术语.有人可以解释它的含义,因为我无法从任何地方找到定义.

谢谢

PS

我想知道的是告诉操作Capture避免替换的原因.如果有人能做到这一点,那将是一个很大的帮助

我刚开始在OSX上使用https://atom.io/

如果我打开一个C#文件,它没有语法高亮.

我找到了https://github.com/atom/language-csharp

我是否只是克隆它并将其复制到/Applications/Atom.app/Contents/Resources/app/node_modules？