yi-programmer.com

精确编程

原讨论 [ http:/ article.gmane.org/gmane.comp.lang.haskell.cafe/98103. Data B = B Int data A = Safe Int Unsafe Int createB : A - B createB (Safe i) = B i createB (Unsafe i) = error 禁止出现. 问题是，使用 Unsafe 调用 createB 的情况只能在运行时才能检查，而如果去掉第二条分支，又变成了模式匹配不完备的错误了 :-(. LANGUAGE DataKinds, KindSignatures, GADTs #-}. Data A safety = A Int. Data B = B Int. 现在，我们需要表达 Safe 和 Unsafe. Data Safe data Unsafe. 现在我们再定义两个函数把值标记成 Safe 或者 Unsafe. CreateB : A Safe - B createB (A x) = B x. B : B b = createB (safe (A 1). Data Alpha (saf...

http://www.yi-programmer.com/

OVERVIEW OF yi-programmer.com

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

5

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR YI-PROGRAMMER.COM

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

December

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Monday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 3.4 out of 5 with 7 reviews

5 star

2

4 star

3

3 star

0

2 star

0

1 star

2

Hey there! Start your review of yi-programmer.com

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.8 seconds

FAVICON PREVIEW

16x16
32x32

CONTACTS AT YI-PROGRAMMER.COM

Bluehost.com

yi huang

nanyuancun shenzhen guangdong ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● Last modified: 2011-03-21 01:

02:●●●GMT

United States

1.37●●●●3669

1.80●●●●1992

yi●●●●●●●●●●●@gmail.com

View this contact

Bluehost.com

yi huang

nanyuancun shenzhen guangdong ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● Last modified: 2011-03-21 01:

02:●●●GMT

United States

1.37●●●●3669

1.80●●●●1992

yi●●●●●●●●●●●@gmail.com

View this contact

Bluehost.com

Bluehost Inc 1958 South 950 Ea●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●ified: 2010-12-06 18:43:32 GMT

United States

1.80●●●●9400

1.80●●●●1992

wh●●●@bluehost.com

View this contact

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

DOMAIN REGISTRATION INFORMATION

REGISTERED: 2010 March 20
UPDATED: 2014 March 04
EXPIRATION: EXPIRED REGISTER THIS DOMAIN

BUY YOUR DOMAIN

DOMAIN AGE

14

YEARS
0

MONTHS
30

DAYS

NAME SERVERS

1: f1g1ns1.dnspod.net
2: f1g1ns2.dnspod.net

REGISTRAR

GODADDY.COM, LLC

WHOIS : whois.godaddy.com

REFERRED : http://registrar.godaddy.com

CONTENT

PAGES IN
THIS WEBSITE

5

SSL

EXTERNAL LINKS

3

SITE IP

23.235.46.133

LOAD TIME

0.791 sec

SCORE

6.2

PAGE TITLE

精确编程 | yi-programmer.com Reviews

<META> DESCRIPTION

原讨论 [ http:/ article.gmane.org/gmane.comp.lang.haskell.cafe/98103. Data B = B Int data A = Safe Int Unsafe Int createB : A - B createB (Safe i) = B i createB (Unsafe i) = error 禁止出现. 问题是，使用 Unsafe 调用 createB 的情况只能在运行时才能检查，而如果去掉第二条分支，又变成了模式匹配不完备的错误了 :-(. LANGUAGE DataKinds, KindSignatures, GADTs #-}. Data A safety = A Int. Data B = B Int. 现在，我们需要表达 Safe 和 Unsafe. Data Safe data Unsafe. 现在我们再定义两个函数把值标记成 Safe 或者 Unsafe. CreateB : A Safe - B createB (A x) = B x. B : B b = createB (safe (A 1). Data Alpha (saf...

<META> KEYWORDS

1 精确编程

2 recent comments

3 popular threads

4 你想让你的代码具备更高的复用性，比如说你写了一个牛逼的排序函数

5 sort

6 你不希望它只能对整数或是字符串排序，你希望它能对所有类型排序，也就是

7 data

8 ordering

9 通过让使用者主动提供比较函数，我们的函数可以支持尽可能多的类型

10 connection

CONTENT

Page content here

KEYWORDS ON PAGE

精确编程,recent comments,popular threads,你想让你的代码具备更高的复用性，比如说你写了一个牛逼的排序函数,sort,你不希望它只能对整数或是字符串排序，你希望它能对所有类型排序，也就是,data,ordering,通过让使用者主动提供比较函数，我们的函数可以支持尽可能多的类型,connection,recv,bytestring,send,close,service,而具体传输协议的实现大概就是这样,tcpconn,socket,sock,iskey,hash,lookup

SERVER

GitHub.com

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

精确编程 | yi-programmer.com Reviews

https://yi-programmer.com

原讨论 [ http:/ article.gmane.org/gmane.comp.lang.haskell.cafe/98103. Data B = B Int data A = Safe Int Unsafe Int createB : A - B createB (Safe i) = B i createB (Unsafe i) = error 禁止出现. 问题是，使用 Unsafe 调用 createB 的情况只能在运行时才能检查，而如果去掉第二条分支，又变成了模式匹配不完备的错误了 :-(. LANGUAGE DataKinds, KindSignatures, GADTs #-}. Data A safety = A Int. Data B = B Int. 现在，我们需要表达 Safe 和 Unsafe. Data Safe data Unsafe. 现在我们再定义两个函数把值标记成 Safe 或者 Unsafe. CreateB : A Safe - B createB (A x) = B x. B : B b = createB (safe (A 1). Data Alpha (saf...

INTERNAL PAGES

yi-programmer.com

1

精确编程

http://yi-programmer.com/index.html

原讨论 [ http:/ article.gmane.org/gmane.comp.lang.haskell.cafe/98103. Data B = B Int data A = Safe Int Unsafe Int createB : A - B createB (Safe i) = B i createB (Unsafe i) = error 禁止出现. 问题是，使用 Unsafe 调用 createB 的情况只能在运行时才能检查，而如果去掉第二条分支，又变成了模式匹配不完备的错误了 :-(. LANGUAGE DataKinds, KindSignatures, GADTs #-}. Data A safety = A Int. Data B = B Int. 现在，我们需要表达 Safe 和 Unsafe. Data Safe data Unsafe. 现在我们再定义两个函数把值标记成 Safe 或者 Unsafe. CreateB : A Safe - B createB (A x) = B x. B : B b = createB (safe (A 1). Data Alpha (saf...

2

Haskell Type Class 介绍

http://yi-programmer.com/2011-10-15_typeclass.html

Haskell Type Class 介绍. Typeclass 作为 haskell 一大标志性特性，还是很值得介绍介绍的。 Foo : Int - Int - Bool. 所以haskell程序员有一个怪癖，那就是喜欢根据类型签名去找函数实现，而且他们还真的做了这么一个搜索引擎来干这个事情 hoogle和hayoo，hoogle索引了一些常用的库，而hayoo索引了hackage上所有库。 A - Bool) - [a] - ([a], [a]). Int - Int - Bool. Eq a = a - a - Bool. ReadInt : String - Int. ReadBool : String - Bool. Read a = String - a. Read 1) : Int. ReadLn : Read a = IO a. Start : Config - IO (). Blog comments powered by Disqus. Generated on: 2012-05-10. Generated by Docutils.

3

Typeclass语法糖

http://yi-programmer.com/2012-05-10_typeclass.html

Blog comments powered by Disqus. Generated on: 2012-05-10. Generated by Docutils.

4

warp静态文件服务器评测

http://yi-programmer.com/2011-11-12_wai-static-app.html

安装GHC和Cabal，参考 http:/ book.realworldhaskell.org/read/installing-ghc-and-haskell-libraries.html. Cabal install warp wai-app-static. Network.Wai.Handler.Warp. Network.Wai.Application.Static. 环境 Thinkpad X61, T8100 双核，Linux 2.6.38，GHC 7.2.1. 对照nginx worker 1, sendfile on. 1 7174.23 2 6946.33 3 6120.31 4 6819.33 5 7373.51 6 6776.65. 1 13543 2 13601.69 3 13512.38 4 13654.39 5 13680.97 6 13630.64. Network.Wai.Handler.Warp. 1 22184.93 2 22232.89 3 22150.83 4 22189.02 5 22267.33 6 22125.08.

5

利用类型系统表达约束

http://yi-programmer.com/2012-05-04_gadt.html

原讨论 [ http:/ article.gmane.org/gmane.comp.lang.haskell.cafe/98103. Data B = B Int data A = Safe Int Unsafe Int createB : A - B createB (Safe i) = B i createB (Unsafe i) = error 禁止出现. 问题是，使用 Unsafe 调用 createB 的情况只能在运行时才能检查，而如果去掉第二条分支，又变成了模式匹配不完备的错误了 :-(. LANGUAGE DataKinds, KindSignatures, GADTs #-}. Data A safety = A Int. Data B = B Int. 现在，我们需要表达 Safe 和 Unsafe. Data Safe data Unsafe. 现在我们再定义两个函数把值标记成 Safe 或者 Unsafe. CreateB : A Safe - B createB (A x) = B x. B : B b = createB (safe (A 1). Data Alpha (saf...

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL PAGES IN THIS WEBSITE

5

OTHER SITES

yi-pin.com

温州市现代包装机械有限公司

Http:/ www.yijiacun.com/bjl/bjldf/ 足球投注网. Http:/ www.yijiacun.com/bjl/zqwz/ 网上百家乐. Http:/ www.yijiacun.com/bjl/bjlff/ 百家乐. Http:/ yijiacun.com/bjl/ 澳门赌场. Http:/ www.yijiacun.com/amdc/ 赌博网. Http:/ www.yijiacun.com/amdc/amdb/ 网上百家乐. Http:/ www.yijiacun.com/amdc/wstz/ 博彩网. Http:/ www.yijiacun.com/amdc/bcwz/ 网上赌球. Http:/ www.yijiacun.com/amdc/wsdq/ 皇冠现金网. Http:/ www.yijiacun.com/amdc/xjw/ 百家乐玩法. Http:/ www.yijiacun.com/amdc/bjl/ 百家乐技巧. Http:/ www.yijiacun.com/amdc/bjljq/ 百家乐游戏. Http:/ www.yijiacun.co...Http:...

yi-pin.com.tw

一品搬家-一品起重行、搬家、大型商業搬遷, 搬家服務,台南搬家,一品搬家 - 一品搬家

Service by SuperhiPage 中華黃頁網路電話簿.

yi-pin.org

漯河舞台音响租赁公司|漯河灯光桁架租赁公司|漯河演出租赁公司

漯河龙行天下演出公司致力漯河演出设备租赁舞台桁架租赁,灯光音响租赁,线阵音响租赁,LED屏幕租赁,舞台宣传车,篷房帐篷,皇家礼炮TRUSS架,空飘气模演出租赁弘扬. 版权所有:漯河龙行天下文化传媒有限公司电话:4008000395/13939531395 QQ:1686951177/1686951188 豫ICP备:12023365号. 公司地址:河南省漯河市召陵区人民路中段邮箱:service@longxingtianxia.cn 网址:www.longxingtianxia.cn 技术支持: 美行天下公司.

yi-ping.com

医评网

三伏天气温高湿度大吃三薯防. 解放军 4 0 1 医院. 核心提示药店是服务行业，顾客来店购物，除了看药品质量外，更看重的是药店的多种服务药学服务、礼节服务、舒适. 点评网,一评网,评论网,医评网,投诉网.

yi-pro.com

°²½ÝÂ× Ó¢Ë¼¿Æ ¸£Â»¿Ë µÂ¹úIKA µÂ¹úµÂÍ¼ ÓÅÀûµÂ Ê¤ÀûÒÇÆ÷ ÃÀ¹úÀ×Ì© ÂÞË¹ÃÉÌØ ÈÕ±¾ÀíÒô Ïã¸ÛÏ£Âê Ã·ÌØÀÕ Èü¶àÀûË¹ ±±¾©Ê±´ú Ì¨ÍåÈºÌØ ÈÕ±¾ÈÕÖÃ ÈÕ±¾¹²Á¢ ÈÕ±¾ºáºÓ ÐÂÓîÖæ Ì¨ÍåÌ©ÊË

Í þÈËÔ º Å ºÉú ÑîÓÀ º. Ë µØÖ ºÉÏº ÊÐÆÖ ÐÂÇøÐûÇÅÕò. ÃÀ ú Ê ÄÜ. YSI556MPS à ÎÊýË ÖÊ âÁ ÒÇ. Êý Ý Àí(Á ÓµçÄÔ)Êý ÖÍòÓÃ íPC20. ÃÀ úBUSHNELL( Ê ÄÜ)Ë Í ÍûÔ µ. ÃÀ ú ÝÂ ÃÐÍìºÏÐÅºÅÊ Æ MSOX. Ç ÐÍ í 3280-10. ÊÖ ÖÊ ÉäÆµ Û âÒÇR&S FSH6.26. PD42 â â àÒÇ. ÊµÑéÊÒ Ç ÈÒÇ 2100n. ÞÑõ Ì Á Á Æ. ÂÞË ÃÉÌØ3051L À Ê ÒºÎ äËÍÆ. ÂÞË ÃÉÌØ3051TGÑ Á äËÍÆ. ÂÞË ÃÉÌØ3050L À Ê ÒºÎ äËÍÆ. Ä ÉúÂÞË ÃÉÌØ 644 HART äËÍÆ. ÂÞË ÃÉÌØÑ Á äËÍÆ - Ñ Á äËÍÆ / îÑ. M210ÈÕ ÍòÓÃMultiÇ ÐÎ í. YSI556MPS à ÎÊýË ÖÊ âÁ ÒÇ. Êý Ý Àí(Á ÓµçÄÔ)Êý ÖÍòÓÃ íPC20. Ç ÐÍ í 3280-10.

yi-programmer.com

精确编程

原讨论 [ http:/ article.gmane.org/gmane.comp.lang.haskell.cafe/98103. Data B = B Int data A = Safe Int Unsafe Int createB : A - B createB (Safe i) = B i createB (Unsafe i) = error 禁止出现. 问题是，使用 Unsafe 调用 createB 的情况只能在运行时才能检查，而如果去掉第二条分支，又变成了模式匹配不完备的错误了 :-(. LANGUAGE DataKinds, KindSignatures, GADTs #-}. Data A safety = A Int. Data B = B Int. 现在，我们需要表达 Safe 和 Unsafe. Data Safe data Unsafe. 现在我们再定义两个函数把值标记成 Safe 或者 Unsafe. CreateB : A Safe - B createB (A x) = B x. B : B b = createB (safe (A 1). Data Alpha (saf...

yi-projectspace.org

Iːproject space

Iː project space I: 空间.

yi-pu.net

Welcome!

Thank you for visiting our web site.

yi-pui.com

怡沛實業公司

21830;品分類. 32353;花/ 襟章. 20116;金扣. 20116;金鏈. 24037;廠簡介. 38364;於我們. 12300;品質好，交貨快，價格優，以誠信務實為基礎」，是我們對客戶永恆的承諾。

yi-qi.livejournal.com

brainwash-me

02 November 2011 @ 02:02 pm. 19 May 2011 @ 11:14 am. Finally exams ended and ytd was chill out day tgt with bei aand his friends, mag and her friends. Everything was good until i saw a whatsapp msg from one of bei's female friend (apparently abit drunk):. U love her, u don't love me or sth along this line. Maybe it was u don't love her, u love me). Okay maybe I actually meant it) and he looked at me like, HUH? You're on the phone with your girlfriend, She's upset. She doesnt get your humour like I. I don...

yi-qian.com

山东益谦文化有限公司_丰盛人生|体验式教练技术|企业文化培训|亲子教育|领导力培训