免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
楼主: 塑料袋

争论C概念正确性的一般路子是什么? [复制链接]

论坛徽章:
4
戌狗
日期:2013-08-15 18:22:43技术图书徽章
日期:2013-08-21 13:48:45巨蟹座
日期:2013-09-26 17:06:39处女座
日期:2013-12-25 11:26:10
发表于 2012-06-01 15:34 |显示全部楼层
sacry 发表于 2012-06-01 15:32
回复 44# 塑料袋

http://article.yeeyan.org/view/65452/28581


这啥玩意啊?我不知道。

是不是原来pmerfoc在新闻版发的那些玩意啊,咋了,我对这些不感兴趣。

论坛徽章:
0
发表于 2012-06-01 15:38 |显示全部楼层
程序设计语言是一种人为定义的形式语言
标准是这种语言的定义
没有语言的定义而讨论语言的对错
和不建立公理讨论平面几何一样

论坛徽章:
4
戌狗
日期:2013-08-15 18:22:43技术图书徽章
日期:2013-08-21 13:48:45巨蟹座
日期:2013-09-26 17:06:39处女座
日期:2013-12-25 11:26:10
发表于 2012-06-01 15:40 |显示全部楼层
sacry 发表于 2012-06-01 15:33
回复 48# 塑料袋

我不是用“你也一样”这样的辩论技巧来针对你,


我对这些什么辩论技巧不技巧的不感兴趣,无赖没实力的人才会去搞这些小聪明。

我只说了三个不需任何技巧的基本常识:
1) 拿C文档去证明另一个C文档的合理性,无穷递归。
2) 计算机的运行原理,需求,矛盾,解决思路,都是客观存在,不以任何C实现和C标准为转移。
3) C标准的权威性,来自于其对实现的概括性。后者为因,前者是果。

论坛徽章:
0
发表于 2012-06-01 15:41 |显示全部楼层
回复 51# 塑料袋

建议你看看自省下逻辑的。
所谓论点论据充分,你确定你串起来了?
   

论坛徽章:
11
未羊
日期:2013-12-16 12:45:4615-16赛季CBA联赛之青岛
日期:2016-04-11 19:17:4715-16赛季CBA联赛之广夏
日期:2016-04-06 16:34:012015亚冠之卡尔希纳萨夫
日期:2015-11-10 10:04:522015亚冠之大阪钢巴
日期:2015-07-30 18:29:402015亚冠之城南
日期:2015-06-15 17:56:392015亚冠之卡尔希纳萨夫
日期:2015-05-15 15:19:272015亚冠之山东鲁能
日期:2015-05-14 12:38:13金牛座
日期:2014-12-04 15:34:06子鼠
日期:2014-10-16 13:40:4715-16赛季CBA联赛之八一
日期:2016-07-22 09:41:40
发表于 2012-06-01 16:20 |显示全部楼层
本帖最后由 zylthinking 于 2012-06-01 17:07 编辑

C标准其实从本质来说, 只有两个作用:
第一个是主要作用, 或者说是C标准存在的意义: 对跨编译器的源码编写起一个标杆作用, 说白了和 unix 认证之类没什么区别; 如果我就明摆着不玩跨编译器, 那么我就不遵循C标准, 而遵循明确支持的编译器标准没什么大不了; 甚至不叫C语言也没什么大不了;
解毒专家认为这是邪恶的东西, 只因为一点, 就是他除了C标准之外, 一无是处; 其他人不玩标准了, 还可以靠别的吃饭, 专家只有喝西北风的份;
人总是对自己会的看得额外重, 无论解毒专家还是塑料袋, 包括OW, 上帝, 我都未必能免俗; 但, 正如塑料袋想以底层灭杀标准派给人以不讲道理的感觉一样;
解毒专家妄图 罢除百家, 独尊C标准 的行为, 任何不符合他所谓标准的人都在他的解毒范围内, 也不是什么好玩意, 换句话说, 就是邪教

第二个算是无心插柳, 写标准的人帮写编译器的理清了一点思路; 不至于所有处理都自己琢磨了。 这作用, 不仅小, 适应人群也就那么几个。

另外说说所谓语言设计学;
我是想不出来语言设计学有什么作用, 或者严谨些, 对不写编译器的或者不和开发编译器的人一起工作的人有什么作用
你是可以玩的很high, 但你的贡献输出在哪里? 论坛排砖, 回答语法问题??
除了这个呢, 如果你能写编译器, 那么你可以将你思考的, 设计的语法模型体现到你的编译器中, 算是给语言进化做贡献了; 但你不会写, 而且也不是一个编译器开发团队中的语法设计人员, 那你怎么体现你的价值?
写信给编译器开发团队还是请求进入C标准官方机构呢?
自然以上假设都不是没有可能, 如果要抠字眼, 这里是一个可攻击点。
再有一点, 语言设计学是创新还是记忆现有规则呢, 背C标准朗朗上口的诸位, 可有一份自己的创新在心, 并且对其可实现性及对现有体系的影响有一定程度的胸有成竹?
比如c++越来越奇葩的模版语法, 总是叹息说是为了兼容C, 那么, 可有一个不兼容C的方案, 能有效降低模版语法复杂度的? go 啊, perl 啊, python 啊等等也没有兼容C嘛, 有主意了并且论证可行性了, 也可以说有意义, 至少可以发论文, 然后说不定就被某些懂得写编译器的人看到就实现出来了

再说说记忆几条标准条文, “看了几个库函数”  哪个更象 “背过了N条shell命令”
首先不管是不是, 先将背shell命令做负面典型
那么表面上记忆几条标准原文 和 看几个库函数很像, 似乎都是记忆为主, 没错; 但看库函数从来都不是做多选题为目的; 看库函数靠记忆, 但组合库函数成一个完整严密可以工作的逻辑呢, 那算什么?
看标准原文是以组合条文为目的的吗, 为什么每每引用条文时总是单独的那几条, 组合出来的也总是那几乎不变的几个方面?

最后一问:  莫非在一些人心里, 编程就是看库函数那么简单的事情吗?

论坛徽章:
0
发表于 2012-06-01 16:53 |显示全部楼层
KBTiller 发表于 2012-06-01 15:38
程序设计语言是一种人为定义的形式语言
标准是这种语言的定义
没有语言的定义而讨论语言的对错



你这种说法是不对的。应该把C标准看作是汉语词典,我们固然要尊重汉语词典,但是词典偶尔也会出错,词典也要不断的更新以适应时代。

词典和日常用语有时候会对不上,这时候你很难说是谁对谁错。

唯有活着的语言,才是正确的语言。

论坛徽章:
2
技术图书徽章
日期:2013-09-04 15:21:51酉鸡
日期:2013-11-01 21:20:20
发表于 2012-06-01 17:05 |显示全部楼层
KBTiller 发表于 2012-06-01 15:38
程序设计语言是一种人为定义的形式语言
标准是这种语言的定义
没有语言的定义而讨论语言的对错


如果是其他语言可能是这样的,但C,往往是先实现,后标准。

论坛徽章:
0
发表于 2012-06-01 17:14 |显示全部楼层
天天讨论标准么意思 。。
写的代码跑的欢就行了。 。。  

论坛徽章:
0
发表于 2012-06-01 17:16 |显示全部楼层
回复 53# 塑料袋


我对这些什么辩论技巧不技巧的不感兴趣,无赖没实力的人才会去搞这些小聪明。


学得不太像啊

C标准的权威性,来自于其对实现的概括性。后者为因,前者是果。

这个有一定道理。问题这里并不是单线,而是双线循环。

算了,你还是多嗑药吧,嗑药完yy就算了,别当真。

论坛徽章:
0
发表于 2012-06-01 17:20 |显示全部楼层
回复 55# zylthinking


有道理。

首先不管是不是, 先将背shell命令做负面典型

你这个话就不对了,别人的方法你不用就算了。

您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP