Clojure’s :pre and :post
:pre 和:post是clojure提供的两个断言功能。
:pre在函数调用之前检查参数是否符合条件。
:post在函数调用之后检查返回值是否符合条件。
例：
(defn pos-add [& args]
{:pre [(not-any? neg? args)]
:post [(
(apply + a...
分类：
其他好文 时间：
2014-11-11 16:37:40
阅读次数：
185
下文对MYSQL IFNULL函数的使用进行了详细的叙述，供您参考学习，如果您在MYSQL IFNULL函数使用方面遇到过类似的问题，不妨一看。
MYSQL IFNULL(expr1,expr2)
如果expr1不是NULL，IFNULL()返回expr1，否则它返回expr2。IFNULL()返回一个数字或字符串值，取决于它被使用的上下文环境。
m...
分类：
数据库 时间：
2014-11-11 16:35:03
阅读次数：
308
题目描述：
你是一座大庄园的管家。庄园有很多房间，编号为 0、1、2、3，...。你的主人是一个心不在 焉的人，经常沿着走廊随意地把房间的门打开。多年来，你掌握了一个诀窍：沿着一个通道，穿 过这些大房间，并把房门关上。你的问题是能否找到一条路径经过所有开着门的房间，并使得： 1) 通过门后立即把门关上； 2) 关上了的门不再打开； 3) 后回到你自己的房间（房间 0），并且所有的门都已经关闭了...
分类：
其他好文 时间：
2014-11-11 16:34:05
阅读次数：
255
直接执行sql出出现乱码，在中文字符前加N就可以正常显示了，N的含义就是用nvarchar格式显示。...
分类：
数据库 时间：
2014-11-11 16:32:44
阅读次数：
171
从web中获取json数据直接进行处理总觉得太慢，主要是从web中获取获取数据的过程有点慢。所以就在想 如果先利用空闲时间把json数据获取并保存到本地，然后再从本地文件中读取和操作，应该就要快很多。这中间的主要问题就是格式的转换问题：1、将获取取的json数据序列化后保存到本地文件中；2、从文件中逐行读取数据，再将其反序列化为json格式。...
分类：
Web程序 时间：
2014-11-11 16:33:44
阅读次数：
271
Backward Digit Sums
Time Limit: 1000MS
Memory Limit: 65536K
Total Submissions: 4487
Accepted: 2575
Description
FJ and his cows enjoy playing a mental game. They wri...
分类：
其他好文 时间：
2014-11-11 16:33:28
阅读次数：
167
function setSelectUserNo(radioObj){
var radioCheck= $(radioObj).val();
if("1"==radioCheck){
$(radioObj).attr("checked",false);
$(radioObj).val("0");
}else{
$(radioObj).val("1");...
分类：
其他好文 时间：
2014-11-11 16:34:53
阅读次数：
230
1.枚举类概述
enum关键字，用来定义枚举类，它与class，interface关键字的地位相同。枚举类是一种特殊的类。
但枚举类终究不是普通类，它与普通类有以下几个区别：
①枚举类不可以继承类，但可以继承接口，使用enum定义的枚举类默认继承了java.lang.Enum类。
②使用enum定义非抽象的枚举类默认会使用final修饰，因此枚举类不能派生子类。如果是抽象枚举也不能用"ab...
分类：
编程语言 时间：
2014-11-11 16:31:56
阅读次数：
212
tomcat下jsp乱码原因(下) ，解决乱码的几种方式方法...
分类：
Web程序 时间：
2014-11-11 16:34:04
阅读次数：
222
Android.mk编译文件是用来向Android NDK描述你的C,C++源代码文件的， 今天查了一些常用的的语法。
一 概述:
一个Android.mk文件用来向编译系统描述你的源代码。
具体来说：该文件是GNU Makefile的一小部分，会被编译系统解析一次或更多次的build系统。
你可以在每一个Android.mk文件中定义一个或多个模块，
你也可以在几个模块...
分类：
移动开发 时间：
2014-11-11 16:31:49
阅读次数：
241
本篇文章通过源代码分析了在输入格式为TextInputFormat的情况下，hadoop-2.4.1如何确定Mapper任务的数量...
分类：
移动开发 时间：
2014-11-11 16:34:07
阅读次数：
216
AIDL 是一个接口描述文件，用于实现android 平台上面的RPC ，aapt 在编译的时候会自动根据规则用于IPC 的接口和对象，而作为使用者只需要
在服务端实现接口 2 在客户端bindService onServiceConnected 时获取接口对象，这里的接口都是AIDL 中描述的接口，其他的细节则在由AIDL 化成同名源文件
这里面有一个接口，里面在的方法就是AIDL 文件中所...
分类：
移动开发 时间：
2014-11-11 16:31:22
阅读次数：
291
1.require模块里，再去require模块，依赖分析不到，r.js不会合并。解决办法：还是放在require([])的这个数组里。2.r.js也不会识别jquery.min.js。解决办法：把jquery.min.js改名成jquery.js。
分类：
Web程序 时间：
2014-11-11 16:28:29
阅读次数：
191
看到上面这张图，第一反应是用photoshop类似作图软件画出来的，但那是华丽丽的错觉。一个简单的标签就能完成漂亮的效果，而不仅仅是创建html水平线。想知道怎么实现吗？Let's do it！ FILTER: Alpha 透明度设置的效果，实例 Alpha(Opacity=?, Fi...
分类：
Web程序 时间：
2014-11-11 16:29:25
阅读次数：
201
来源于一位公司同事的共享，在此感谢这位同事分享：苹果开发者正式使用证书- 打开 https://developer.apple.com/- 点击进入 Member Center- 登录开发者账号- Certificates,Idebtifiers & Profiles :开发者证书- iTunes ...
分类：
移动开发 时间：
2014-11-11 16:28:25
阅读次数：
196
问题:通过 HTTP 协议向服务器发送一个 GET 请求,并在这个请求中添加了一些参数.讨论:GET 请求允许通过查询字符串当做参数,如下格式:http://example.com/?param1=value1¶m2=value2...你可以使用字符串格式来提供参数。 为了使用 NSURL....
分类：
Web程序 时间：
2014-11-11 16:27:46
阅读次数：
274
1.后序遍历的非递归实现。（左右根）难点：后序遍历的非递归实现是三种遍历方式中最难的一种。因为在后序遍历中，要保证左孩子和右孩子都已被访问并且左孩子在右孩子前访问才能访问根结点，这就为流程的控制带来了难题。下面介绍两种思路。思路：有个关键的就是unUsed这个标识符。当unUsed=1时，表示该节点...
分类：
其他好文 时间：
2014-11-11 16:28:14
阅读次数：
171
