标签: programming-languages

Hugs> 94535^445
1376320882321377050696053887661515621104890164005282153069726424773999801846841903244827702943487982707454966009456016735041878000604143500908532887464920380605164932112687039059526672109818924234920844448231612532570718657160234177285377733830104834041049076609912488237219608445995072867798430614935403219495883835042862802917980856774134757390782052200512932375660858045003581611863121089979673784484701791210379500218604466721285456487387736825167702127154268533859979529612671925052419513844416493584817268143587955662039327860394141299238613042312035808541735213479394437496215520277526351425482512084759462579494878772787079101513841720202004639843443083454387175700954018825292148776647553122504118229978165851660083576570848983047255050145168802863168613110619584686348869690774233051669081248424584219383477237544209892290799448207462345346336076966775224683516220960618177284844330167142846351091001423033864986042919757795382577032341453971393897073354841924116635150129850119992031076354249371062307034564093077675129303383786693131843907104175619570678630497198824622804914508555467550904967368926176118094672479099827962889569753303773699017596074205893197641101210911874606040804983166177455705972192827752532495287749766682029353154226049380290040508900715169403153139668217790502306177709467234413947747673881158973344492079455405942662489751581189327200960698310350121179918845099840977270519116578719881752429190273998774113278822810866144521416958558406602325070095207349450759264393913367193083149679216066539911941983836313340998945139132421885688290888674594474605510238217590823316979504437667252929278291853368754482552573193289277120902144178425726693671235675042499401282016643202758246845332593475338220708351934511933096882598943512036679145593929114103343255708217768511665236173107020739195152050863630870948954052925049746246549772984384435109578859863612603574306739909728739428192798727373799081111333186135697868385292787575475482883660605162944306327057220313320376280182432763977906971557137715710757099478269250731209785404487629107297262798803645379809868663503452656912571816192881412782623078761411808958183665272686617730596943579533808499348879195167683064937591552734375

为什么Haskell可以计算如此大的数字,而其他语言(例如Java)不能(如此容易)？

很久以前我记得我认为Forth编程语言非常酷.多年来我真的没有听说过任何关于它的事情.Forth还在使用吗？如果是这样,它用于什么类型的应用程序？

哪种编程语言或库能够处理无限系列(如几何或谐波)？它可能必须有一些知名系列的数据库,并在收敛的情况下自动给出适当的值,并且可能在发散的情况下产生异常.

例如,在Python中它可能看起来像:

sum  = 0
sign = -1.0
for i in range(1,Infinity,2):
     sign = -sign
     sum += sign / i

那么,sum必须是math.pi/4而不在循环中进行任何计算(因为它是一个众所周知的总和).

我会说实话.我需要帮助解决我难以理解的作业问题.

描述历史上以模式开始的东西,现在支持Java语言功能.

我已经阅读了很多有关类型,高级类型等等的有趣内容.默认情况下,Haskell支持两种类型:

• 简单类型: *
• 类型构造函数: * ? *

最新的GHC语言扩展ConstraintKinds增加了一种新的:

• 类型参数约束: Constraint

在阅读这个邮件列表后,很明显可能存在另一种类型,但GHC不支持它(但这种支持是在.NET中实现的):

• 未装箱类型: #

我已经了解了多态种类,我想我理解这个想法.Haskell也支持明确的kinded量化.

所以我的问题是:

• 是否存在其他类型的种类？
• 还有其他类似的语言功能吗？
• 什么subkinding意思？它在哪里实施/有用？
• 是否有一个类型系统kinds,就像kinds一个类型系统在上面types？(只是感兴趣)

你自己(我认为是完美的)编程语言会是什么样的？举一个小例子来解释你的新想法吧!

我对语法很感兴趣.

我很好奇是否有一种编程语言将状态机(类似于boost :: statechart)作为主要语言构造.

类比 - c#有委托,其中java使用观察者模式,C有回调.Perl和python有内置哈希,而C++和java需要一个库.

更新:

这应该是C++,C#,Java,Lisp等意义上的通用编程语言......

我的意思是"成熟"的状态机,在Harel形式主义或UML状态图或boost :: statechart的层面上都有所有的铃声和​​口哨声.

What language is used to build low level languages like c++ and java?

How could you build the first language with no language?

为什么大多数Lisps和Schemes都是动态输入的？静态类型是否与其某些常见功能混合在一起？

我想要一个更好的C.让我解释一下:

我在C中做了很多编程,这对于具有实时需求的应用程序是必需的,例如音频编程,机器人,设备驱动程序等.

虽然我喜欢C,但是在花了很多时间在Haskell之后让我紧张的一件事就是缺少一个合适的类型系统.也就是说,只要你想编写一个更通用的函数,说一些操纵泛型指针的东西(比如说一个通用的链表)就必须把东西投射到void*什么东西上,然后你就会丢失所有类型的信息.它是一个全有或全无的系统,它不会让你编写泛型函数而不会失去类型检查的所有优点.

C++没有解决这个问题.我还是不想使用C++.我发现OO类和模板很令人头疼.

Haskell及其类型类确实解决了这个问题.您可以使用语义上有用的类型,并使用类型约束来编写对不依赖的类类操作的函数void.

但是我正在使用的域名,我不能使用Haskell,因为它不具备实时功能 - 主要是因为垃圾收集.GC是必需的,因为很难进行功能编程,这种编程很重,没有自动内存管理.但是,类型类的概念并没有特别针对C的语义.我想要C,但是使用Haskell的可靠类型系统,可以帮助我编写好的系统.但是,我真的想要C:我想控制内存管理,我想知道数据结构是如何布局的,我想使用(井型)指针算法,我想要可变性.

有这样的语言吗？如果是这样,为什么它不适合低级编程呢？

旁白:我知道在这个方向上有一些小的语言实验,但我对在真实世界的项目中真正可用的东西很感兴趣.我对成长到发达的语言感兴趣,但不是那么多"玩具"语言.

我应该补充一下,我听说过Cyclone,这很有意思,但是我无法让它为我编译(Ubuntu)而且我还没有听说过任何实际使用它的项目......欢迎任何其他建议.

谢谢!