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