这学期被强制要求使用的语言，不知道是不是老师讲解不清的问题，感觉各种证明十分难写。明明一目了然的事情就是证不出来。
这一语言有没有自己的优点？要不要光学会写作业就算了，上完这学期就扔？
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
This topic created in 4260 days ago, the information mentioned may be changed or developed.
 |
jwk345Mar 6, 2015 via iPhone
1
做研究用的，可以学完就扔的
|
 |
SmiteChowMar 6, 2015
2
听都没听过
|
 |
cickuMar 6, 2015
3
哥哥我谢谢你...Ada 好么？
Ada 在俄语中是 Hell 的意思，这也是为什么你觉得难的原因。 主要领域是嵌入式，国防、医疗基础设施，航空管理，铁路运输用的，目前仍被美国大型政府机构部署并应用。具体应用不便透露。 |
|
jwk345Mar 6, 2015 via iPhone
6
@cicku 没事，但即便是 Ada，如果楼主不做这些行业，也是可以随便扔的。但大部分语言都有自己的优势，有时候学另外一门语言时可用作对比。
|
 |
yetoneMar 6, 2015
9
想问楼主是哪个学校。。
|
 |
msg7086Mar 6, 2015
10
Agda的证明不难啊，基本就是逻辑推导吧……
Agda我觉得和Haskell很像的地方就是，如果你没入门，那你一定会死去活来；一旦入门，海阔天空。 |
 |
11
|
Select Language