Profile

Cover photo
Cheer Xiao
Attends Tsinghua University
130 followers|17,984 views
AboutPostsPhotosVideos

Stream

Cheer Xiao

Shared publicly  - 
 
写 VM 真麻烦 _ (:з」∠) _
 ·  Translate
1
Add a comment...

Cheer Xiao

Shared publicly  - 
 
今天又败家了……花了 24.99 欧买游戏
 ·  Translate
1
Cheer Xiao's profile photoChristopher Meng's profile photo
2 comments
 
+Christopher Meng 你猜 _ (:з」∠) _
 ·  Translate
Add a comment...

Cheer Xiao

Shared publicly  - 
 
KMS 的 cursor location report 是 0-based,这是要闹哪样!!
 ·  Translate
1
Ray Song's profile photoCheer Xiao's profile photo
3 comments
 
+Ray Song  echo '\033[6n'; cat -v # echo 的东西就是 CPR 请求,可以看 man console_codes
 ·  Translate
Add a comment...

Cheer Xiao

commented on a post on Blogger.
Shared publicly  - 
 
After reading this and other articles on concatenative programming, one thing keeps puzzling me: Do we have examples for something that is trivial in concatenative programming but fundamentally nontrivial in applicative programming? Sure, being able to `define countWhere [filter length]` is pretty nice, but actually, `countWhere predicate list = length (filter predicate list)` is not that worse for me. I also understand that concatenative programming techniques can clarify program structure, make for easy compiler optimizations, but the question is only concerned of expressing.

The question can also be stated as: is concatenative programming a fundamentally more powerful system than applicative programming, or is it an alternative, more natural notation for writing point-free functions?

This question is not meant to devalue concatenative programming; I'm attempting to find out how much value it is really worth.
1
Jon Purdy's profile photoErik Allik's profile photo
2 comments
 
You can do `countWhere = (length .) . filter` in Haskell—not as clean but close.
Add a comment...

Cheer Xiao

Shared publicly  - 
 
ReactOS 能打 SuperTux 了
 ·  Translate
1
Add a comment...

Cheer Xiao

Shared publicly  - 
 
恩,必须承认 DOS 支持 wildcard 的方式比 Unix 合理……
 ·  Translate
1
Ray Song's profile photoCheer Xiao's profile photo
2 comments
 
+Ray Song wildcard 是各个命令支持的,文件名不允许 ?*
 ·  Translate
Add a comment...

Cheer Xiao

Shared publicly  - 
 
It seems what Clojure brings to lisp is JVM and a rich set of persistent data structures...
1
Add a comment...
In his circles
113 people
Have him in circles
130 people
Naitong Yu's profile photo
Reimar Bauer's profile photo
Zhe Yang's profile photo

Cheer Xiao

Shared publicly  - 
 
gst-launch 真好用,我都好久不用 mplayer 了
 ·  Translate
1
Add a comment...

Cheer Xiao

Shared publicly  - 
 
IE 的 FormData 实现有 bug,具体表现为如果 <form> 的最后一个 <input> 是一个未选中的 <input type="checkbox"> 那么用这个 <form> 初始化出来的 FormData 在 XHR 的时候末尾会有形如 Content-Disposition: form-data; name=" 的 garbage // 描述这个崎岖的 bug 真的很费劲啊……
 ·  Translate
1
Hörmetjan Yiltiz's profile photo
 
的确费尽~
 ·  Translate
Add a comment...

Cheer Xiao

Shared publicly  - 
1
Cheer Xiao's profile photo
 
Linus 的评论不见了……
 ·  Translate
Add a comment...

Cheer Xiao

Shared publicly  - 
 
谁能帮我解释下 Mozilla 公司和 Mozilla 基金会是啥关系……?
 ·  Translate
1
Lihang Li's profile photo
 
公司是基金旗下的。。
 ·  Translate
Add a comment...

Cheer Xiao

Shared publicly  - 
 
 
参观无线电协会
 ·  Translate
1
Add a comment...
People
In his circles
113 people
Have him in circles
130 people
Naitong Yu's profile photo
Reimar Bauer's profile photo
Zhe Yang's profile photo
Education
  • Tsinghua University
    Automation, present
Links
Contributor to
Story
Tagline
I study boring things for fun.
Basic Information
Gender
Male
Apps with Google+ Sign-in