8pm 8pm
关注数: 0 粉丝数: 279 发帖数: 6,809 关注贴吧数: 4
gcd.hy @wx_y_am http://tieba.baidu.com/p/4167457985 有點偏題,還是發這裏吧 圖也搬過來這個叫 hy,算是 lisp 的方言 http://tieba.baidu.com/mo/q/checkurl?url=http%3A%2F%2Fdocs.hylang.org%2Fen%2Flatest%2F&urlrefer=0d22f1b0108db3755db3382356e73413 簡單說就是通過 python 的 import hook,可以運行前將 hy 代碼編譯成 cpython 的 AST,然後再通過 python 本身編譯成 python bytecode 運行。由於在 AST 層級操作,所以提供完整的 macro 支持(當然不是 scheme 的 hygiene)。 可以和 python 無縫結合,即如果安裝了 hy,在 pyhton 裏可以直接 import 用 hy 寫的東西,反過 hy 也可以 import 任何 python 的。 我正在用 hy 寫一個 monad 庫,這是其中一個例子,那時候剛好在測試就截圖了。 這個 gcd 不一樣的地方是,算法是普通的輾轉相除取餘,但整個 gcd 返回的是個 writer monad。也就是 gcd 的 signature (用 haskell 風格描述)是 gcd :: int -> int -> StringWriter string int。其中 StringWriter string 是 writer monad,string 是 monoid。我另外將相關代碼部分截了圖,左欄是 writer monad 和 execute, tell 的實現,功能和 haskell 的 execWriter, tell 一樣,只不過我利用了 python 的動態類型特性。tell 是將 message 添加到 writer 的累積部分(tuple (result, messages) 的第二部分),execute 是進行這個 writer 運算並將第二部返回,即累積的 message,也就是每次遞歸中 gcd 裏 tell 發送的內容。最後用 print 輸出。 中間是 do-monad 和 do-monad-m 這兩個 macro 的實現,用起來類似 haskell 的 do notation。用來方便寫 monad comprehension。do-monad 和 do-monad-m 的區別是前者會自動增加個 m-return (haskell 裏的 return)call 到結果。所以因爲 gcd 返回的就是 monad,if 的 else 部分遞歸的時候就要用 do-monad-m。 它們和 clojure 的 domonad 類似,不過 clojure 的 monad 不是 boxed 的,而我因爲想在 python 裏支持 >> 作爲 bind(操作符重載),而使用了 class 實現。壞處是這樣寫一些 higher kind 的 monad 很繞,好處是我可以通過附帶的訊息,寫出不需要註明 arity 的 lift 函數。 右上是 monad 的 base class,提供了一些通用操作,其中 join, fmap 和 bind 是相互遞歸的,必須在 subclass 中實現 bind 或者 join, fmap,否則無法直接用。 右下是第一個截圖的 gcd.hy 源碼,方便對應。 這個庫除了 writer,我還實現了 identity, maybe, either, reader, state, continuation,正在整理測試和文檔,弄好了就發出去。
堵不如疏 百度贴吧因为先天缺陷,并不具备方便讨论技术细则的条件 类似 - 不支持发代码 - 服务不稳定,早期更常有帖子被系统误删 - 各种奇怪,不方便的设计  - 楼主可删贴,并且吧务后台并没记录可查,无端增加很多争端  - 楼中楼造成讨论不便,字数有限制,跟楼阅读难,无法知道那裏有新内容,还不如试行过一段时间的引用回覆  - 由於上面原因,楼中楼等很需要提醒机制,而提醒等机制又使用不便,如没有 flash 则失去提醒功能【1】。  - 提供给吧务的管理选项很少,功能很弱  - 在这些奇怪的设计下(特别是楼主可删贴),却连简单的帖子编辑都不支持 由於这些客观的原因,贴吧本就不适合讨论涉及太多代码类的内容 贴吧提供的功能大概只能做到聊天室,IRC,QQ 羣的级别,提供给兴趣接近的人们一个讨论交流共同主题的空间 上述的原因,加上 linux 这个题材本来就范围很宽泛,因此 linux 吧容易出现新人帖子多,重复的基础问题和内容,多各种题材,甚至意见相反的帖子 而这个无法通过管理实行强制手段来改善 那麼是否贴吧就不适合讨论技术呢,也不尽然,就如聊天室,IRC,QQ 羣也有讨论技术的 在我看来,营造一个正面,有利的讨论环境关键端看吧裏的主要成员,老吧友,熟脸孔,这点在百度贴吧这种先天不足的环境下尤甚 只要有志於改善吧内气氛的吧友,多能参加有意义的讨论【2】,少做无意义的回覆,如纯表情回覆,罐头回覆,不回覆伸手帖和明显以引起争论为目的帖子(唯一例外是 at 吧务删贴),吧内气氛自然就能改善 所谓的伸手帖,删不删我个人认为无所谓,即使完全没有伸手帖,只剩下一羣老屁股围在一起天天破事水/发纯表情/罐头内容帖【3】,吧裏气氛就自动改善了吗,关键还是靠大家 另外,我反对类似军事化的管理和任务摊派,我一项的看法就是此帖的标题「堵不如疏」 以此帖回应以下两帖 fyyz_me 的 http://tieba.baidu.com/p/2687156342 【提议】 FBIWarnin 的 http://tieba.baidu.com/p/2685405918 【我快顶不住了,呼唤铁血政策】 【1】这几天想起没有提醒,才发现原因是最近没安装 flash,错过了不少吧友的 at,藉此对他们说声抱歉 【2】即使是较个人的感想,就看前两页的帖子,如段神的游记,如讨论 linux 的 bus factor 的帖子 【3】即使老吧友们只是纯吹水,我个人看法也并无不可,只是希望认为吧裏太水,气氛太差的,能从自身要求做起
盒饭们集合啦!23日何洁与你有个约会~ 转自:勇往直前吧右边的 贴吧看点 也有好像好多人还不知道,还是我火星了?http://post.baidu.com/f?kz=183173075【勇往直前】盒饭们集合啦!23日何洁与你有个约会~^O^盒饭们集合啦!何宝宝本周五到访到贴吧!! ^O^说好了!咱们不见不散哦~ ^O^回答个小问题,何洁签名照等你伸手拿!^^ ★活动一: 何洁作客百度贴吧,与吧友贴心交流~ 活动时间:3月23日19:00 约会地点:勇往直前 吧(链接:http://post.baidu.com/f?kw=%D3%C2%CD%F9%D6%B1%C7%B0) 何洁的爪印^^:http://post.baidu.com/f?ct=318767104&tn=baiduKeywordSearch&sc=79969&pn=0&rn=50&lm=4&rs4=1&rs3=1&word=%BA%CE%BD%E0 ★★活动二: 活动时间:2007年3月21日-3月28日 活动步骤: 1、登陆贴吧ID 2、回复以下问题: (1)你爱宝宝!爱她的...(请补充完整) (2)我爱音乐!最爱何洁唱过的...因为... (3)请将贴吧周刊的链接补充完整http://post.baidu.com/_________ 。 (4)贴吧周刊分几个内容精品区? 3、将以上答案回复至本公告内,获奖名单将于3月29日公布在勇往直前吧。 活动奖品: 何洁签名n张 (hoho...希望可以再帮大家多争取些,所以数量变动ing...暂时不公布) *随时关注贴吧~何宝宝的最新照片不断放松哦! 此次活动由贴吧周刊主办 百度贴吧拥有最终活动解释权 -------------------------------- 贴吧周刊,咱吧友自己的周刊 ^^ http://post.baidu.com/zhoukan
【J★发光体】偶今天在唐人街买到了台湾版《发光体》哈哈哈 哈哈哈哈哈哈高兴到不行!~!~!~!今天偶去多伦多唐人街办点事顺便去华语唱片(一个小小的专买港台正版CD的唱片店)订宝宝的专辑因为上年偶问过那里的老板想订《终极PK》结果他连超女都没听过所以偶把宝宝专辑的出版编号都抄好(AVCCD90086/A)准备叫他订结果进去一抬头哈哈哈哈哈哈宝宝就躺在货架上哦不是是宝宝的专辑偶心里一阵狂喜二话不说伸出禄山之爪一把抓在手中呵呵脸上还要故作镇定要不准给别人当疯子二十大元钱货两讫哈哈终于忍不住要笑出声来赶紧说几句话来掩饰“哈哈,老板,想不到有这张CD,偶还准备跟你订,你还有吗?”老板正在打电话“这是最后一张了。”“进了多少张?”老板把手掌一摊偶说“五张?再进点吧,偶还要买的”老板电话都没放下“好的好的”也不知道听进去没有哈哈回去赶紧斋戒沐浴更衣打开来HC......(此处省略520字)哈哈偶到现在还语无伦次中......最后偶发现了几个问题1.内页的宝宝好漂亮啊偶从来没见过这么漂亮滴实力派2.封面的《发光体》的体字是简体的3.《举起手》的歌词中间的Hands up! Here you go! Higher, Higher, don't let go. x2偶怎么听都应该是Hands up! Here we go! Higher, Higher, don't let go. x24.《爱你与你无关》的歌词前写着改编词:于光中 曲:Summer Hsu在最后几页那里写着改编词:于光中(原词:Summer Hsu)难道 Summer Hsu 是宝宝的笔名?还是宝宝借他人的名义发表(据我所知 Beyond 的某些歌词就是这样)
【洁迷】关于 21cn 的迪士尼的投票-后记 这是后记,原帖发在了中文网:http://www.hejiecn.com/bbs/read.php?tid=13232&u=20018&fpage=1终于完了,我们的阵地也保住了先看结果,在这里:http://et.21cn.com/star/zhuixing/neidi/2005/09/19/2293552.shtml这次团结的盒饭(当然也包括我在内啦)做得真好。在这粽子横行的世道,当初我发帖就没期望有谁会轻易相信我一个陌生人,换位思考,如果是我 90% 是不会相信的。但是出于对宝宝的爱,你们选择相信我,非常感激你们,从我第一天来到这里(那时只是潜水),就感觉这里像是一个温馨的大家庭,现在这种感觉越来越强烈了,谢谢你们,土土的说一句柯世英文:“I love you all!”本来不情愿浪费时间到这种投票上的,我比较现实,一向觉得做这些东西不如买她的专辑等实际,我知道自己会一直支持洁宝宝的,这就够了。再说,我极度怀疑这个投票的结果会对迪斯尼的决策作出(哪怕是轻微的)影响,我认定了这个只是 21cn 为了制造人气而搞出来的。每个人都会有偏好,某些盒饭会通宵点上数以千计次的鼠标,只为洁洁上升0.001的百分点。某些所谓的“精英”会用刷票机来和狂热的盒饭对抗。这些在我看来,都只是这个游戏的一个片段,玩法不同罢了。所以尽管在洁吧这里看到一直呼吁的投票,我都没有参与其中,直到 16 日... 无聊的我突然想起去 21cn 看看,首先注意的当然是......宝宝的图,哈哈,这个你们别笑我,然后我看到下面的网友议论里其中一行特扎眼的字,内容大概是 “何xx当定唐老鸭了,笑死我了”,再一看投票结果,一百多万票的都投在代言唐老鸭上。对于唐老鸭,相信大家都不会反感,就算洁洁代言也没什么所谓,但是谁叫我先看到的是那行极具挑衅性的评论,我愤怒了。支持自己喜欢的,并为其投票,并没有什么不妥,但是为不喜欢的人恶意的投票,并且以此来说事,一个小女孩招惹你什么了,这是何等恶毒的心肠!也许是我道行不够,我当时真的很愤怒,于是才有了此帖。这次投票结果无异于给了那些个道德沦丧的人狠狠的一个耳光。快哉。尽管我一向是悲观的人,但是我乐于相信人性的美好,尤其是看了在《超女》中洁洁的表现,更是加深了我的信念。这是我喜欢她的诱因(之所以是诱因,是因为这种喜欢的感觉慢慢的蔓延,到现在我都说不上到底是喜欢她什么地方,反正就是五个字:什么都喜欢),在百度看到《为洁洁而注册》说的一句话,我觉得用来形容我是很恰当的:“也许盒饭很多都是比较低调的,在生活中都是很内向的,也只有洁洁点燃了我们心中的那把火,让我们疯狂的喜欢上了洁洁。”我觉得有句话更适合盒饭说:“爱生活,爱何洁”,因为舞台上的她带给我们的是快乐,一种久违了的感动,一个热爱生活的理由。最后,只想劝告某些人(不过估计他们不会来这里看的),多行不义比自毙。不是不报,时候未到。注:我并不讨厌任何一个超女,她们都是最棒的,勇于追求心中的梦想,可恨的是那些在各方面利用她们达到自己目的的人。
1 下一页