未来什么编程语言和开发技术会比较吃香呢？ - 知乎786被浏览113826分享邀请回答hlam :: forall repr a b h. DBI repr =&
((forall k. NT (repr (a, h)) k =& k a) -& (repr (a, h)) b) -&
repr h (a -& b)
说把 DDF 换成 Haskell 是她这辈子做过的最正确的决定 orz)一般人看到这个估计都晕倒了吧，不过使用类似于 Coq 的 LTac，写出来并不算非常困难：-- TTS -- under design
{repr : Type -& T a, b, h : Type | DBI repr}
-& (({k : Type -& Type | NT (repr (a && h)) k} -& k a) -& repr (a && h) b)
-& repr h (a -& b)
-- this type is scary, but we have tactics
hlam = tactic {
(repr,a,b,h) &- intros 4
i_DBI_repr
apply i_DBI_repr.hoas
-- ... |- repr (a && h) a -& repr (a && h) b
-- ... |- repr (a && h) b
-- ... |- {k : Type -& Type | NT (repr (a && h)) k} -& k a
i_NT_reprah_k &- intro
-- ... |- k a
apply i_NT_reprah_k.conv
-- ... |- repr (a && h) a
在搭建的过程中通过一点点拆解复杂的目标，最终写出整个程序出来。上面的「Tactic」看着玄乎，实际上只是搭积木一样的过程而已。Programming/Proof by Refinement 的过程实际上还可以和 Property-based testing 结合，比如如果某一步中出现的 goal 或者 assert 测试不过，那么就可以直接在交互界面显示出来，等等。Term Unification / ATP：如果 Programming/Proof by Refinement 还是觉得麻烦怎么办？别忘了上面的 Tactic 是一块块的积木，那么能不能写插件去自动地把积木拼上呢？如果结合现在发展迅猛的人工智能呢？总上而言，我们离「写正确的程序」已经越来越近。如果说编程有未来的话，这个才是值得期待的未来。11623 条评论分享收藏感谢收起135 条评论分享收藏感谢收起查看更多回答1 个回答被折叠（）现在学什么技术吃香_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
现在学什么技术吃香
0|0|暂无简介|
北大青鸟佳音旗舰校区是北大青鸟北京旗舰校...|
总评分0.0|
阅读已结束，如果下载本文需要使用0下载券
想免费下载更多文档？
你可能喜欢查看: 47|回复: 11
一直好愧疚
男人学什么手艺最吃香？？
俗话说，“一技成、天下行”。掌握了一门技术，走遍天下都不怕！在选择学什么技术时，男生们除了要结合自身兴趣外，更应该考虑其行业发展前景。只有选择对了，才能收获理想未来。像现今社会，各行各业都呈现出了蓬勃发展的态势，厨师烹饪行业就以其巨大的发展潜力，被誉为新时代的“黄金行业。而拥有一门精湛厨师技术的人才，更是顺理成章的步入高薪族系列，成为企业哄抢的人才。要学的话，就学川菜，川菜是八大菜系之首，学会川菜，另外的菜系都基本上会做！
路 是一步一步走出来的 首先 态度 第二方法 目标 培养自己的能力；结果因为过程；学什么；看你的眼光 爱好；别一步就像登天，那是幻想；改变自己，抓住机遇。
我爱朱大哥
什么都没有必要了，我给你算一下，35岁学手艺就算你学的快也要1年吧，36岁对于一个生手来说找事是一件不易的事。当你对这个行业有所了解也就差不多40岁。可以说人到中年了。还不如现在打拼多多赚钱。
lovemicaini
推荐学习技术含量高又好就业的汽车类专业。 现在汽车行业高速发展，基本各岗位都及其缺乏专业人才，特别是汽车商务营销＼汽车维修这类售后服务的人才，就业容易，发展前景不错，以后自己创业也有优势。
男生初、高中毕业应该学什么呢？选择很重要，学校、专业前景、兴趣爱好以后是否能学到真技术，都是 决定未来成功的关键，如果没有选择好，很多上完职业学校的学生毕业后就会被送到工厂去做流水线工作， 这就是一些职业学校所谓的推荐就业。选择
维修类或电脑类
只要你想学习学什么都可以，但是前提是你自己条件可以学习，建议你还是去学校了解，给个建议菖平就可以！
贾龙包子面点
土木工程，工程造价 或者计算机技术。质检等待
huangdafuwuzhe
各地两会再提“汽车为支柱产业” 。房市的低迷，各地都把重心放在汽车产业上，意味着汽车产业会持续高速发展，随之带来的汽车维修保养也会高速持续发展下去。中国现在已经是汽车生产第一大国，也是汽车销量第一大国了，很多人只会开车不会修，然后北大青鸟武林门校区400-711-2828
学什么技术有前途？无论是职业教育的技能，还是大学设置的专业，
归根到底都是让人拥有一技之长，获得社会立足的资本。2017年什么技术值得被选择？
I WANT我想拥有全新的2017
我学历不高
拿着没有高学历，干的多是体力或销售的活，感觉做什么都没有前途，好想学点技术重新开始。
我是大学生
2017年应届大学生破700万，就业的时候压力山大。想在专业之外学点技能，增强自己的求职竞争力！
我要在职提升
虽然有份工作，但总觉得庸庸碌碌，没有发展前途。想跳槽或加薪却没有信心和底气，我该怎么突破？
俗话说，做一行精一行，但行业若没发展前景只会让人过早职业疲劳，2017年什么行业才是转行新契机？
BEST2017学什么技术好？
学什么技术好？什么行业有前途？正确的选择是成功的一半，选择需要综合考虑薪资福利，发展前景，社会地位，工作环境，投资报酬率等进行取舍。
艾瑞网2017年度热门职业排行给了希望实现技能提升的人员一个风向标：
艾瑞网2017年度热门职业分析报告（前12名）
2017全国行业缺口
软件开发师
网络营销师
建筑设计师
平面设计师
美容美发师
不定/看水准
金融投资分析师
不定/多方因素影响
网络工程师
游戏开发设计师
SAYING我想听听专家怎么说!
李克强国务院总理
创新赢得实力，创新赢得先进，创新赢得发展，创新赢得尊严。IT产业是竞争的焦点，要大力发展。
甄荣辉前程无忧总裁
信息技术，电子商务，新媒体，房地产业，医疗技术等行业近年来为大学生提供了较好的就业出口。
季昕华前盛大云CEO
IT行业会快速成长，公有云、私有云等先端技术都会开始落地并产生较大价值。国内IT技术日益与国际化接轨，企业需要更多的IT技术人才。
李廷海资深职业规划专家
农村进城务工人员要在城市扎根，没有学历撑腰，就要技术过硬，一些技术学习门槛低，就业缺口大，像IT行业，建筑业，美容美发服务也都是不错的选择。
初育国北大青鸟首席执行官
IT行业发展有目共睹，无论从发展前景看，或从从业者际遇看，行业本身提供了广阔空间，北大青鸟兴办10余年，致力于解决各类人员的就业问题及行业用人缺口。
ASSESS学习价值评估
各类别技术的学习时间，难易程度，就业难度等也各有不同，在选择之前，您可以先问问自己这些问题，让自己选得性价比最高的技术！
我可以投入多少时间进行学习？
我擅长学习什么技术？
我需要借此马上实现就业吗？
学完这门技术容易就业吗？
热门行业技术岗学习评估指数表
几个月-2年
★★★★★
★★★★★
几个月-1.5年
★★★★★
几个月-1年
看导游种类
几个月-2年
几个月-半年
近年来创业也成为热选，无论是项目研发还是开店经营，首先仍需要对一个行业有深入了解并具有一技之长
TEST我适合学习什么技术？
不知道自己适合学哪门技术？那就赶快测试一下吧！马上测试，了解最适合自己学习的技术！
TIPS大型免费试学活动
北大青鸟温馨提示
您可以通过在线通道报名大型试学活动，我们将为您提供更加个性化的专属服务。我们尊重您的隐私，不会以任何形式将您的信息透露给第三方。
400-711-2828}