agda 语言有什么优点？
这是一个创建于 3923 天前的主题，其中的信息可能已经有所发展或是发生改变。
这学期被强制要求使用的语言，不知道是不是老师讲解不清的问题，感觉各种证明十分难写。明明一目了然的事情就是证不出来。
这一语言有没有自己的优点？要不要光学会写作业就算了，上完这学期就扔？
 | 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 |
Select Language