首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/440209

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

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

编程即理论构建:Peter Naur 的经典论文为何值得一读

最近读到一篇来自 CodeUtopia 的博客推荐,观点颇为深刻:编程本质上是一种"理论构建"活动,而非单纯的代码编写。这篇推荐指向了 Peter Naur 的经典论文《Programming as Theory Building》。 什么是"理论构建" Naur 在论文中提出了一个核心概念:程序员的真正工作不是在写代码,而是在头脑中构建关于程序的"理论"。这个理论包括:对程序功能的理解、对需求的理解、以及对程序各部分如何协同运作的理解。 代码、文档、图表……这些都只是传达设计意图的工具。清洁代码、架构设计...

阿里 2026 财年净利润超 1021 亿元,AI 收入占比首超三成

阿里巴巴集团公布截至 2026 年 3 月份季度及 2026 财年业绩。 截至2026年3月31日止季度: 收入为人民币2,433.80亿元(352.83亿美元),同比增长3%。若不考虑高鑫零售和银泰的已处置业务的收入,同口径收入同比增长将为11%。 客户管理收入同比增长1%。若不考虑新营销发展计划所产生的视作收入冲减项影响,同口径客户管理收入同比增长将为8%。 经营亏损为人民币8.48亿元(1.23亿美元),2025年同期则为经营利润人民币284.65亿元,主要是由于经调整EBITA的减少所致。经调整EBITA(一项非公认会计准则财务指标)同比下降84%至人民币51.02亿元(7.40亿美元...

相关文章

发表评论

资源下载

更多资源
Mario

Mario

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

Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

WebStorm

WebStorm

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

用户登录
用户注册