这学期被强制要求使用的语言,不知道是不是老师讲解不清的问题,感觉各种证明十分难写。明明一目了然的事情就是证不出来。
这一语言有没有自己的优点?要不要光学会写作业就算了,上完这学期就扔?
1
jamesxu 2015-03-06 12:39:42 +08:00 via iPhone
做研究用的,可以学完就扔的
|
2
SmiteChow 2015-03-06 13:30:32 +08:00
听都没听过
|
3
cicku 2015-03-06 14:14:19 +08:00
哥哥我谢谢你...Ada 好么?
Ada 在俄语中是 Hell 的意思,这也是为什么你觉得难的原因。 主要领域是嵌入式,国防、医疗基础设施,航空管理,铁路运输用的,目前仍被美国大型政府机构部署并应用。具体应用不便透露。 |
4
cicku 2015-03-06 14:15:51 +08:00
|
6
jamesxu 2015-03-06 16:01:05 +08:00 via iPhone
@cicku 没事,但即便是 Ada,如果楼主不做这些行业,也是可以随便扔的。但大部分语言都有自己的优势,有时候学另外一门语言时可用作对比。
|
9
yetone 2015-03-06 18:41:11 +08:00
想问楼主是哪个学校。。
|
10
msg7086 2015-03-06 18:55:30 +08:00
Agda的证明不难啊,基本就是逻辑推导吧……
Agda我觉得和Haskell很像的地方就是,如果你没入门,那你一定会死去活来;一旦入门,海阔天空。 |
11
bobai OP |