Apr
14
Haskell Primer 007: 类型初识
Published 12:04 Apr 14, 2016 by @ezra.
#Programming# 有了前面一些基础介绍,现在我们开始介绍 Haskell 中关于类型的各种知识。
由于 Haskell 支持类型推导 (Type Inference),允许我们不对类型进行显示声明,但对于初学者,有时我...
Apr
13
Haskell Primer 006: 模式匹配
Published 12:04 Apr 13, 2016 by @ezra.
#Programming# 模式匹配主要用来定义一些数据必须遵循的规则,根据他们来解析数据。
例如:
sevencheck :: Integer -> Bool
sevencheck 7 = True
sevencheck...
Apr
13
Haskell Primer 005: 认识元组
Published 12:04 Apr 13, 2016 by @ezra.
#Programming# 学习了列表之后,我们再来认识一下元组 (Tuple)。
什么是元组
学习过 C++ 的朋友应该对这个词不陌生,元组允许我们将多个不同类型的值组合为一个单一值。元组与列表有些类似,但元组含有的内容可以是...
Apr
12
Haskell Primer 004: 玩玩列表
Published 12:04 Apr 12, 2016 by @ezra.
#Programming# 列表 (List),是一种单类型 (Homogeneous) 数据结构,用于存储一个或多个同类型元素,例如一系列的数字。
将一系列的元素使用方括号 ([]) 包含,元素间使用逗号 (,) 分隔,就形成...
Apr
12
Haskell Primer 003: 函数定义
Published 12:04 Apr 12, 2016 by @ezra.
#Programming# 尝试了一些函数调用之后,紧接着了解一下函数的定义,这与调用的形式类似,只是多了函数行为的定义:
函数名 参数1 参数2 参数3 参数4 ... = 函数行为
例如:
doubleIt x = x ...
Apr
12
OS X: How to get the path of Home directory
Published 12:04 Apr 12, 2016 by @ezra.
#Programming# We all know that NSHomeDirectory() is retuning the sandbox root (not the home directory), [@"~" str...
Apr
11
Haskell Primer 002: 函数初探
Published 12:04 Apr 11, 2016 by @ezra.
#Programming# 通过上一篇我们简单尝试了 Haskell 语言,也许你没有察觉,其实我们自始至终都在使用着函数。
前面我们使用的运算符 +、-、*、/ 其实都是函数,像这样置于两个参数之间调用的函数,称为中缀函数 (...
Apr
11
OS X: launchd
Published 12:04 Apr 11, 2016 by @ezra.
#Programming# I would like to create a service to execute a task automatically, and starting and stopping it on de...
Apr
04
Haskell Primer 001: 尝鲜
Published 12:04 Apr 04, 2016 by @ezra.
#Programming# 关于什么是 Haskell 以及为什么要选择 Haskell 的问题就不再讨论了。本文主要介绍学习 Haskell 要准备的工作。
请知悉: 这个系列的博客只是 Haskell 的基础知识,写给准备了...
Mar
30
Kotlin : Introduction
Published 12:03 Mar 30, 2016 by @ezra.
#Programming# Kotlin 是由 JetBrains 开发的基于 JVM 的新编程语言,在 Apache 许可下开源发布已经过去一段时间了,所以写篇博客简单介绍下。
说到 JetBrains 相信大家都不陌生,Py...
Mar
30
Kotlin : Syntax
Published 12:03 Mar 30, 2016 by @ezra.
#Programming# 前面对 Kotlin 的情况做了简单介绍,这一篇再来说说它的基本语法。
分号
首先可喜可贺的是,Kotlin 中语句末尾并不需要分号结尾。
基本类型
Kotlin 中的基本数据类型有:
类型位宽
D...
Mar
21
Make .webloc
Published 12:03 Mar 21, 2016 by @ezra.
#Programming# 熟悉 Mac 的同学对 .webloc 想必也不陌生, 它的实质其实就是一个 plist 文件, 也就是 XML 格式。今天刚好用到, 随手写一篇吧。
<?xml version="1...