当前位置：首页 »假如看到这样“高考满分作文式”的代码，你会打多少分？
浙江省2020年高考满分作文《生活在树上》突然在微博登上头条，引发了很大的争议。
想必很多人都没有看懂这篇作文，字典先放下，汇智妹给你注释版。
生活在树上
现代社会以海德格尔的一句“一切实践传统都已经瓦解完了”为嚆矢。滥觞于家庭与社会传统的期望正失去它们的借鉴意义。但面对看似无垠的未来天空，我想循卡尔维诺“树上的男爵”的生活好过过早地振翮。
--------------------------------------------------------
嚆矢（hāo shǐ）：响箭。因发射时声先于箭而到，故常用以比喻事物的开端。
滥觞（làn shāng）：本谓江河发源之处水极浅小，仅能浮起酒杯， 后比喻事物的起源和发端。
振翮（zhèn hé）：常用来形容人志向远大、努力奋发向上或经济正高速发展、在腾飞等。翮，①鸟羽的茎状部分，中空透明；②指鸟的翅膀。
-------------------------------------------------------- 我们怀揣热忱的灵魂天然被赋予对超越性的追求，不屑于古旧坐标的约束，钟情于在别处的芬芳。但当这种期望流于对过去观念不假思索的批判，乃至走向虚无与达达主义时，便值得警惕了。与秩序的落差、错位向来不能为越矩的行为张本。而纵然我们已有翔实的蓝图，仍不能自持已在浪潮之巅立下了自己的沉锚。
“我的生活故事始终内嵌在那些我由之获得自身身份共同体的故事之中。”麦金太尔之言可谓切中了肯綮。人的社会性是不可祓除的，而我们欲上青云也无时无刻不在因风借力。社会与家庭暂且被我们把握为一个薄脊的符号客体，一定程度上是因为我们尚缺乏体验与阅历去支撑自己的认知。而这种偏见的傲慢更远在知性的傲慢之上。
-------------------------------------------------------
肯綮（kěn qìng）：是指骨肉相连的地方，比喻最重要的关键。切中肯綮，比喻切中要害，找到了解决问题的好办法。
--------------------------------------------------------
在孜孜矻矻以求生活意义的道路上，对自己的期望本就是在与家庭与社会对接中塑型的动态过程。而我们的底料便是对不同生活方式、不同角色的觉感与体认。生活在树上的柯希莫为强盗送书，兴修水利，又维系自己的爱情。他的生活观念是厚实的，也是实践的。倘若我们在对过往借韦伯之言“祓魅”后，又对不断膨胀的自我进行“赋魅”，那么在丢失外界预期的同时，未尝也不是丢了自我。
-------------------------------------------------------
孜孜矻矻（zī zī kū kū）：意思是勤勉不懈的样子。
体认：就是体会认识。
祓（fú）：古时一种除灾求福的祭祀；扫除。
------------------------------------------------------- 毫无疑问，从家庭与社会角度一觇的自我有偏狭过时的成分。但我们所应摒弃的不是对此的批判，而是其批判的廉价，其对批判投诚中的反智倾向。在尼采的观念中，如果在成为狮子与孩子之前，略去了像骆驼一样背负前人遗产的过程，那其“永远重复”洵不能成立。何况当矿工诗人陈年喜顺从编辑的意愿，选择写迎合读者的都市小说，将他十六年的地底生涯降格为桥段素材时，我们没资格斥之以媚俗。
-------------------------------------------------------
觇（chān）：意思是指看，偷偷地察看。
------------------------------------------------------- 蓝图上的落差终归只是理念上的区分，在实践场域的分野也未必明晰。譬如当我们追寻心之所向时，在途中涉足权力的玉墀，这究竟是伴随着期望的泯灭还是期望的达成？在我们塑造生活的同时，生活也在浇铸我们。既不可否认原生的家庭性与社会性，又承认自己的图景有轻狂的失真，不妨让体验走在言语之前。用不被禁锢的头脑去体味切斯瓦夫·米沃什的大海与风帆，并效维特根斯坦之言，对无法言说之事保持沉默。
-------------------------------------------------------
玉墀（yù chí）：指宫殿前的石阶，亦借指朝廷。
-------------------------------------------------------
用在树上的生活方式体现个体的超越性，保持婞直却又不拘泥于所谓“遗世独立”的单向度形象。这便是卡尔维诺为我们提供的理想期望范式。生活在树上——始终热爱大地——升上天空。
-------------------------------------------------------
婞直（xìng zhí）：意思是指倔强；刚直。
如果带上这些注释还是觉得晕晕乎乎，那就对了。
毕竟这篇作文里足足用了6个西方名人的看法、观点或名言！
整篇文章下来，用人话概括一下就是：
传统社会中，家庭与社会的期望塑造并定义了每个个体。在现代社会中，从家庭和社会角度来定义个人有些狭隘，但又不能对此完全否定。
所以，我们要批判性（生活在树上）地继承传统观念（始终热爱大地），用超越的目光继续前进（升上天空）。
明明很简单的一件事情，几句话就可以说明白，偏偏要使用大量的生僻字，运用一种晦涩的方式写出来。
这也难怪这篇文章得到满分会引发这么大的争议。当然，汇智妹写这篇文章并不是单纯为了蹭热点的。
作为程序员，想必各位也经常在生活中、工作中遇到类似这篇作文这样明明很简单却偏偏要搞得很复杂的事件吧？
有一句话就可以完美概括这样的行为——为了装那啥而装那啥。
上来一顿迷惑操作，先把你弄晕了，怎么迷惑怎么来，看上去好像很玄乎的样子，实际上要表达的就是特别简单的关机。
在代码当中，这种例子可能更常见了。
程序员们经常需要对各种冗长复杂的代码进行优化，当然在这个过程中，被优化的代码通常不是被故意写成这样的。
有些是因为功能更替、产品换代，一点一点堆成了这样……
有些则是因为最开始设计时的算法过于复杂，后面又没办法调整……
有些则是因为写代码的时候没有想到更加高效的方法……
不管基于什么原因，面对一大段乱七八糟的代码来优化的时候，程序员的内心一定是崩溃的。如果体会不到，请回去看看这篇满分作文……
我们都听过很多梗，比如某程序员故意把x写成x+=5==4，比如某程序员故意把HelloWorld！用循环语句来写。
但这些可能都没有下面这个例子令人震撼。
之前：
fac n = if n == 0
then 1
else n * fac (n-1)
之后：
-- explicit type recursion with functors and catamorphisms
newtype Mu f = In (f (Mu f))
unIn (In x) = x
cata phi = phi . fmap (cata phi) . unIn
-- base functor and data type for natural numbers,
-- using locally-defined "eliminators"
data N c = Z | S c
instance Functor N where
fmap g Z = Z
fmap g (S x) = S (g x)
type Nat = Mu N
zero = In Z
suck n = In (S n)
add m = cata phi where
phi Z = m
phi (S f) = suck f
mult m = cata phi where
phi Z = zero
phi (S f) = add m f
-- explicit products and their functorial action
data Prod e c = Pair c e
outl (Pair x y) = x
outr (Pair x y) = y
fork f g x = Pair (f x) (g x)
instance Functor (Prod e) where
fmap g = fork (g . outl) outr
-- comonads, the categorical "opposite" of monads
class Functor n => Comonad n where
extr :: n a -> a
dupl :: n a -> n (n a)
instance Comonad (Prod e) where
extr = outl
dupl = fork id outr
-- generalized catamorphisms, zygomorphisms and paramorphisms
gcata :: (Functor f, Comonad n) =>
(forall a. f (n a) -> n (f a))
-> (f (n c) -> c) -> Mu f -> c
gcata dist phi = extr . cata (fmap phi . dist . fmap dupl)
zygo chi = gcata (fork (fmap outl) (chi . fmap outr))
para :: Functor f => (f (Prod (Mu f) c) -> c) -> Mu f -> c
para = zygo In
-- factorial, the *hard* way!
fac = para phi where
phi Z = suck zero
phi (S (Pair f n)) = mult f (suck n)
-- for convenience and testing
int = cata phi where
phi Z = 0
phi (S f) = 1 + f
instance Show (Mu N) where
show = show . int
（转自知乎）
这一大段你们没有人会仔细看的，就像你们没发现今天这篇文章其实也是个反例。
汇智妹想说的只有一句话：
别把简单的事情复杂化，
不管是作文还是代码！
就算作文能把满分拿，
但写代码一定会挨骂！
skr~ skr~
PS：发文时，公众号平台告诉我本篇文章有8个疑似错别字，全部来自于《生活在树上》……
汇智动力微信公众号
蜀ICP备18018509号-2 蜀公网安备 11010802010213号 成都汇智动力职业技能培训学校
