软创互联

软件交流学习会-20190217

软件
学习会
致良知

#1

真正的成功,是以健全的心灵品质,依道而行,达成目标,同时拥有幸福自在及至圆满觉悟的人生。 《生命的意义》

流程

  1. 启动式
  2. 认知学习
    2.1. 学习视频《生命就该这样度过,立平老师》
    2.2. 感悟分享
    2.3. 朗读《教条示龙场诸生》(内容见附件);
    2.4. 解读分享
  3. 个人分享
    3.1. Rust ,分享者 刘经纬
    3.2. 容器平台K8S,分享者 刘尊文
    3.4. 契约测试,分享者 苏渝
  4. 结束式

会议地点:天府软件园G5 10楼 大厅
开始时间:2019-2-17(本周日) 下午2点整


反省改进

  1. 心灵品质的建设才是根本,人生就是一场修行。学习会需要在提升大家的心灵品质上下功夫,但应结合大家日常的工作事务,在事上照见反省。
  2. 把舞台供给大家。让大家参与分享,教学相长,分享的人收获是最大的,同时切实体证真诚的分享更能打动他人。

附件

现场照片

契约测试

关于质量的一些认知,从契约测试谈起

  1. 我们的项目开发进程遇到了问题,沟通不畅,前后端相互找毛病
  2. 通过项目代码的探索,这些问题的原因中,质量占了很大的份量
  3. 质量的意义
    3.1 第一层次,对于任务,我们可以交付
    3.2 第二层次,对于团队,我们可以协作
    3.3 第三层次,对于未来,我们可以骄傲的说,客户一直在用
    3.4 第四层次,对于自己,质量是一种意识,是诚意的表达,是把客户真正装在了心里,因此,质量是一场修行
  4. 契约测试是工具,更具有一种其他的含义,在对自己的严格要求下,我们将不断成长
  5. 2019年,是平台的质量年,只有质量高,才能产出高,才能代价小,才能创造收益,物资与精神的双丰收,其实都是出于我们真正良好的意愿。

Rust

Rust简介


设计理念

对比其他语言概念上大的区别

常规设计

  • 变量
    • 值语义,*引用语义
  • 类型
    • 极其强的强类型, i32与i64不能互相转换
  • 元组(tuple)
    • 好用,但容易滥用
  • 函数
    • 以及Closure
  • struct
    • 没有class

进阶特性

  • 引用
    • Borrow(借用)
    • *对比C++和Java的引用
  • 可变性
    • 对比其他 val 声明的设计。mut使可变性与其他语义正交。
  • trait
    • *对比C++的concept。设计来自concept,更完备,语法级支持。
    • 对比Java的interface
  • *智能指针
    • 域指针,引用计数,看情况提一下

传承与改进


好的部分

  • 默认的移动语义
    • 对比C++
  • 默认的不可变语义
    • 对比C++和函数式语言
  • 自动解引的方法调用
    • 对比C++
  • Pattern Match
    • 传统函数式的做法
    • C++模仿的variant
    • Scala模仿的case class
  • 基于模式匹配的错误处理机制
    • *对比haskell

欠缺的部分

  • 编译缓慢
  • 依赖C/C++共享库
    • 粗略的解决方案
  • IDE支持

容器平台K8S

《教条示龙场诸生》

诸生相从,于此甚盛。恐无能为助也,以四事相规,聊以答诸生之意:一曰立志;二曰勤学;三曰改过;四曰责善。其慎听,毋忽!

立志

志不立,天下无可成之事,虽百工技艺,未有不本于志者。今学者旷废隳惰( huī duò ),玩岁愒( )时,而百无所成,皆由于志之未立耳。故立志而圣,则圣矣;立志而贤,则贤矣。志不立,如无舵之舟,无衔( xián )之马,漂荡奔逸,终亦何所底乎?昔人有言,使为善而父母怒之,兄弟怨之,宗族乡党贱恶之,如此而不为善可也;为善则父母爱之,兄弟悦之,宗族乡党敬信之,何苦而不为善为君子?使为恶而父母爱之,兄弟悦之,宗族乡党敬信之,如此而为恶可也;为恶则父母怒之,兄弟怨之,宗族乡党贱恶之,何苦而必为恶为小人?诸生念此,亦可以知所立志矣。

勤学

已立志为君子,自当从事于学。凡学之不勤,必其志之尚未笃也。从吾游者,不以聪慧警捷为高,而以勤确谦抑为上。诸生试观侪辈之中,苟有虚而为盈,无而为有,讳己之不能,忌人之有善,自矜自是,大言欺人者,使其人资禀虽甚超迈,侪辈之中,有弗疾恶之者乎?有弗鄙贱之者乎?彼固将以欺人,人果遂为所欺,有弗窃笑之者乎?苟有谦默自持,无能自处,笃志力行,勤学好问,称人之善,而咎己之失,从人之长,而明己之短,忠信乐易,表里一致者,使其人资禀虽甚鲁钝,侪辈之中,有弗称慕之者乎?彼固以无能自处,而不求上人,人果遂以彼为无能,有弗敬尚之者乎?诸生观此,亦可以知所从事于学矣。

改过

夫过者,自大贤所不免,然不害其卒为大贤者,为其能改也。故不贵于无过,而贵于能改过。诸生自思平日亦有缺于廉耻忠信之行者乎?亦有薄于孝友之道,陷于狡诈偷刻之习者乎诸生殆不至于此。不幸或有之,皆其不知而误蹈,素无师友之讲习规饬也。诸生试内省,万一有近于是者,固亦不可以不痛自悔咎。然亦不当以此自歉,遂馁于改过从善之心。但能一旦脱然洗涤旧染,虽昔为寇盗,今日不害为君子矣。若曰吾昔已如此,今虽改过而从善,将人不信我,且无赎于前过,反怀羞涩凝沮,而甘心于污浊终焉,则吾亦绝望尔矣。

责善

责善,朋友之道,然须忠告而善道之。悉其忠爱,致其婉曲,使彼闻之而可从,绎之而可改,有所感而无所怒,乃为善耳。若先暴白其过恶,痛毁极底,使无所容,彼将发其愧耻愤恨之心,虽欲降以相从,而势有所不能,是激之而使为恶矣。故凡讦人之短,攻发人之阴私,以沽直者,皆不可以言责善。虽然,我以是而施于人不可也。人以是而加诸我,凡攻我之失者,皆我师也,安可以不乐受而心感之乎?某于道未有所得,其学卤莽耳。谬为诸生相从于此,每终夜以思,恶且未免,况于过乎?人谓事师无犯无隐,而遂谓师无可谏,非也。谏师之道,直不至于犯,而婉不至于隐耳。使吾而是也,因得以明其是;吾而非也,因得以去其非:盖教学相长也。诸生责善,当自吾始。


加入软创互联平台 请加微信


于全站置顶 #2

软件交流学习会-20190317
软件交流学习会-20190303