微软发布P语言，欲将云、AI与物联网“一网打尽”-低调大师

微软发布P语言，欲将云、AI与物联网“一网打尽”

2017-05-24 771

【大咖・来了第7期】10月24日晚8点观看《智能导购对话机器人实践》

【51CTO.com快译】 微软最近又有新动作：将旗下的P语言定位为云、人工智能和嵌入式系统的异步性解决方案。众所周知，这三项技术在世界范围内的影响力正在一步步扩大。

直面异步事件驱动编程，开放源代码P将建模和编程统一在一起。微软***研究员称，今天的软件使用云资源，通常嵌入物理世界的设备中且采用人工智能技术。这样的应用程序具有异步特性，导致问题的竞争条件和海森堡bug，这个bug是和时间相关的错误，往往消失在调查中。P语言的建立则用来迎接这个挑战。

在P语言中，协议和规范的编写级别很高，P语言呈现了一个基于通信事件中当前执行状态的计划模型；每一个事件都伴随着输入的有效载荷值，与Rust语言类似。

据Qadeer介绍，P编译器提供自动测试，用于运行协议的并发相关的竞争条件和可执行代码。P支持并发建模，具备安全性和可延续性，并使用系统搜索检查程序是否满足其规格。此外，P程序可以编译成可执行的C代码，成为连接起高级和低级工具间的桥梁，并且帮助程序员接受其正式的模型和规范。

这种计算机语言让工程师们模拟大型Azure服务组建的异步接口。同样P语言还可以被用于在PC上调试问题，特别是那些经年累月才能被发现的问题。目前，P语言***次被用于微软USB3.0以上的驱动，在Windows8.1和WindowsPhone中。同时还被广泛用于windows驱动的开发。

原文链接：http://www.infoworld.com/article/3197852/application-development/microsofts-p-language-is-aimed-at-where-cloud-ai-and-iot-meet.html

【51CTO译稿，合作站点转载请注明原文译者和出处为51CTO.com】

微信关注我们

原文链接：http://os.51cto.com/art/201705/540688.htm

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

天猫团队开源跨平台模块化UI界面开发框架Tangram

【大咖・来了第7期】10月24日晚8点观看《智能导购对话机器人实践》 Tangram，七巧板，是天猫团队刚刚开源的跨平台模块化 UI 界面方案。据悉，之所以命名为 Tangram ，是希望它能像七巧板一样可以通过几块积木就搭出丰富多彩的界面。什么是 Tangram Tangram 不仅仅是一个 Native(iOS & Android)的界面开发框架，而是从日常工作中沉淀出的一套界面解决方案，涵盖了 Native SDK、GUI操作台、后端逻辑容器、组件库机制的一整套方案。 Tangram 从手机天猫 - 首页方案抽象而来，是面向组件的界面方案，是开发团队不断权衡性能、稳定性、开发效率、灵活性和动态性多方面表现的结果。除了手机天猫首页外，还支撑了天猫 App 中的天猫直播、我的天猫、猜你喜欢等多个业务，并且在阿里星球等多个阿里系 App 中有所应用。 Tangram 关注的重点 Tangram 关注三个重点：面向业务、多端一致性和高性能。 1、面向业务 Tangram 来源于多次试错和方向的调整，最终站在业务角度出发，权衡多项技术指标的结果。所以面向业务是出发点，是整个 T...

2017-04-05

698

【大咖・来了第7期】10月24日晚8点观看《智能导购对话机器人实践》　一直以来，新浪微博内容发布之后无法修改都是网友们吐槽最严重的地方，毕竟如果打错一个字的话，就要删除重新发布实在有点麻烦。现在，微博似乎真的准备对这一功能进行调整了。昨天下午，微博 CEO@来去之间公布一张内部会议的图片，图片显示新浪微博在未来会增加两大功能，一是微博发布内容后可编辑；二是博主对评论的先审后放。毫无疑问，增加“发布内容后可编辑”功能之后可大大降低因错字删除微博的几率，但理论上，新浪也会加以限制，不可能任意进行修改。至于“博主对评论的先审后放”，理论上应该就是会员才能享受的功能了，普通用户是无缘使用的。值得一提的是，@来去之间还把图片打了码，可能是一个目前尚不愿公开的重磅功能。

2017-10-13

856

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。

微软发布P语言，欲将云、AI与物联网“一网打尽”