隔叶黄莺 Yanbin Blog - 软件编程实践

Swift 学习笔记(@autoclosure 与 call-by-name)

2015-11-24 | 阅读(348)

咋一眼看到 Swift @autoclosure 自动闭包便不由自主的联想到 Scala 的 Call-By-Name 求值策略。既然主要话题是关于 Swift 的，那还是 Swift 的 @autoclosure 先入为主，下面例子中的 greet(name: () -> String) 接收一个闭包作为参数

func greet(name: () -> String) {
    print("Hello \(name())")
}

greet({() in return "Swift"}) //标准
greet({return "Swift"})       //简化
greet({"Swift"})              //再简化

greet{"Swift"}  //因为 greet 只有一个参数，因而可以这样写

func greet(name: () -> String) {

print("Hello \(name())")

}

greet({() in return "Swift"}) //标准

greet({return "Swift"}) //简化

greet({"Swift"}) //再简化

greet{"Swift"} //因为 greet 只有一个参数，因而可以这样写

对 greet(_:) 的函数调用不断简化，最后简化为 greet{"Swift}。总而言之大括号是甩不了了，有大括号的围绕才叫闭包。

同时我们依据闭包的简化规则倒退发现：给任何一个表达式两边加上大括号 {}，就构成了一个闭包，它是无参数的闭包，返回值可有可无。例如 {1+2}, {foo(10)+5}, {print("Hello")}, {array.removeAtIndex(0)} 等等

至此，我们还未死心，思考能不能对 greet{"Swift"} 的写法进一步简化，这就要请出 @autoclosure 隆重登场, 对 greet() 的 name 参数前加上 @autoclosure, 就是阅读全文 >>

Swift 学习笔记(闭包)

2015-11-24 | 阅读(314)

谈到函数式编程，恐怕最不能放过的就是闭包。闭包的定义总是不那么清晰，好像每种语言都有小许的差别。通常说的是可以捕获(访问)外部变量语句块，Swift 的闭包类似于 Objective-C 的 Block 或其他语言的 Lambda 表达式。所以闭包同 Lambda 基本上是同义词。

现在还没完， Swift 认为全局函数(有名字的，不能捕获外部变量)和嵌套函数(有名字，可捕获外部变量)也认为是特殊的闭包。闭包表达式(无名字的闭)才是真正意义上的闭包，它用最简洁的方式来书写一个函数。因此它尽了最大的可能的作了约定性的简化，例如参数与返回类型的推断，return 的省略，无参或只有一个参数的简化。

闭包的语法形式

   { (parameters) -> return type in
        statements
    }

闭包中可用常量参数(let)，变量参数(var), inout 参数，甚至是可变个数参数，但是不能用默认参数。说白了，闭包也就是无名函数的另一种写法。阅读全文 >>

Swift 学习笔记(函数第一等)

2015-11-23 | 阅读(528)

正好前段时间在发力理解函数式编程，学习 Swift 至今就想看看 Swift 对函数式编程的支持如何。从变量声明用 let, 以及函数参数的 let 和 var 都非常适合于函数式编程，它们对实例保护的很好。let 和 var 类型的函数参数保证了函数内部操作的是传入参数的深拷贝。

在 Objective-C 中要调用一个函数，除了通过对像为媒介，还能 perform 一个 selector, selector 其实也是定位函数的方式，这更像是反射。其实 C/C++ 的函数指针概念更不错，用于直接定位函数。

所以进一步，函数要成为第一等公民，它本身可以很容易的作为参数传入或作为返回值，即能构成高阶函数。这在 Swift 也是没问题的，我们可以定义函数类型的变量，例如：

func addTwoInts(a: Int, _ b: Int) -> Int {
    return a + b
}

var addFunction: (Int, Int) -> Int = addTwoInts  //addTwoInts 函数类型表示 (Int, Int) -> Int
print(addFunction(1, 2))
let add = addTwoInts       //自动推断出 add 函数的类型

func foo() {
  print(123)
}
let f:()->Void = foo

func addTwoInts(a: Int, _ b: Int) -> Int {

return a + b

}

var addFunction: (Int, Int) -> Int = addTwoInts //addTwoInts 函数类型表示 (Int, Int) -> Int

print(addFunction(1, 2))

let add = addTwoInts //自动推断出 add 函数的类型

func foo() {

print(123)

}

let f:()->Void = foo

阅读全文 >>

Swift 学习笔记(函数)

2015-11-23 | 阅读(422)

由于 Swift 出自于名门 Apple，与 Objective-C 共同服务于 iOS/Mac OS X 平台，因而看得出它更像是脱胎于 Objective-C。现在来学习它的函数相关的知识，Swift 函数定义有些像 Scala，只是用 func 替代了 def, 返回类型的指定用的是 -> 而不是 =, 格式如下：

func greet(name: String, day: String) -> String {
  return "Hello \(name), today is \(day)"
}

greet("Bob", day: "Tuesday")

func greet(name: String, day: String) -> String {

return "Hello \(name), today is \(day)"

}

greet("Bob", day: "Tuesday")

当然函数无参数就是空括号(不能省略空括号)，无返回值的话就无需 -> 指定类型了，比如 func greet() { print("Hello")}，从形式上看不出是否有副作用(纯函数)

调用函数时和 Objective-C 是一样的，除第一个参数不需要指定形参名，其他参数必须指定形参名，并且顺序是要和函数定义时完全一样的。我们知道在 Objective-C 中一般约定把第一次参数包含在方法名中，如阅读全文 >>

Swift 学习笔记(基本语法)

2015-11-22 | 阅读(417)

因为是本人学习 Swift 的笔记，是基于所掌握的其他语言来认识 Swift 的，所以并非详尽的 Swift ABC，也就显得凌乱不堪。

不会自动转型，强型转型的方式是 String(变量值), 括号不是括住类型

let number = 123
let message = “total: ” + a  //这是错的，必须写成 “total: ” + String(number), 直接常量的话 let message = “total:” + String(123)

1 2	let number = 123 let message = “total: ” + a //这是错的，必须写成 “total: ” + String(number), 直接常量的话 let message = “total:” + String(123)

let 为常量, var 为变量, 类型的指定方式与 Scala 一样，如果不让它自动推断或无法推断时，这样指定类型

var width: Double

1	var width: Double

阅读全文 >>

Swift 语言 Server 端开发资料收集

2015-11-18 | 阅读(402)

苹果的 Swift 语言第二版预计在今年底开源，届时还可在 Linux 下使用 Swift 语言。试想一下此语言用在服务端 Web 开发也该是个很好的方向，需要实现对 HTTP 协议的支持。

Swift 本身就可以做 Shell 脚本用，所以以 CGI 的方式运行是没问题的，没有第三方相关的框架，可以自己完全输出响应头和体。

我们可以把 Swift 集成到像 Apache 或 Nginx 的 Web 服务器中，要做的工作可能多些，应该要用到 C/C++ 来写 Swift 支持模块。想下我们用这种 URL http://localhost/service/customer.swift 来访问 swift 实现的后台页面。

或者也可以让 Swift 代码像 NodeJs 一样运行，自己启动 HTTP Server。幸运的是我们已经有了 Swifter 和 Taylor，再配之以纯 Swift 的模板实现 GRMustache, 简单开发不在话下。

一旦该语言流行开了，特别是能用在 Linux 平台下，总会有人去实现出对 HTTP 协议的支持，再配之以模板，让 Swift 像 PHP 一样在 Apache 中运行就不难了。阅读全文 >>

sbt 项目通过 sbt-aspectj-plugin 使用 AspectJ

2015-11-17 | 阅读(484)

Java 在运用面向方向编程时，依照 AspectJ 的语法自己书写 *.aj 文件可以得到尽可能大的控制能力。如果是一个 sbt 的项目，有一个 sbt-aspectj-plugin 插件可以帮上我们的忙。那么如何应用这个插件呢？该插件首页面告诉我们要在 project/plugins.sbt 中加上下面这句话

addSbtPlugin("com.typesafe.sbt" % "sbt-aspectj" % "0.10.4")

1	addSbtPlugin("com.typesafe.sbt" % "sbt-aspectj" % "0.10.4")

其他就是参考例子 runnable sample projects，然而这几个例子并非那么直白。所以还是自己做一个最简单的例子来体验 sbt 项目如何使用 AspectJ. 阅读全文 >>

走进函数式编程 (Becomming Functional) (递归)

2015-11-13 | 阅读(357)

阅读完递归这一章我仍然无法理解递归为何被作为函数式编程的一个特性。只是递归有时候会简洁，但没弄好却更让人犯迷糊，用循环的话就四平八稳，总是比较好理解。当然有些情况用循环去思考确实难于处理。递归方法内部调用方法本身通常也比较慢，因为需要频繁的保存现场，创建栈帧，恢复现场，所以受内存限制，递归到达一定深度容易导致堆栈溢出。

章中还说到递归的一个优点在于它只需处理输入的值，而循环则需关注整个集合本身。这个该如何理解呢？在每一次递归调用的时候传入的都是当前需要被处理的数据。

先来比较下循环变换成递归的一个简单示例，用 Scala 实现阅读全文 >>

Java 8 的泛型增强

2015-11-11 | 阅读(764)

Java 5 引入了泛型，这是一次重大的改进，从此集合中的东西不需要每次显式的去转型。不过 Java 5 还不具备类型推断的能力，所以声明泛型必须写成

List<String> list = new ArrayList<String>();

一直到 Java 6 也是如此。自 Java 7 起泛型增强为可根据声明类型进行推断，所以 Java 7 中可以这么写

List<String> list = new ArrayList<>(); //<> 中的参数可省略，如果类型参数多, 或多层嵌套时很省事
或
List<String> list = Collections.emptyList(); //见 Java 泛型 -- 依据声明的变量类型自动推断

Java 8 开始对泛型类型推断又进一步增强：可根据方法上下文进行推断，例如下面的代码在 Java 7 下编译不过

List<String> list = new ArrayList<>();
list.addAll(new ArrayList<>()); //根据 list.addAll() 上下文推断要创建的类型是 new ArrayList<String>()

1 2	List<String> list = new ArrayList<>(); list.addAll(new ArrayList<>()); //根据 list.addAll() 上下文推断要创建的类型是 new ArrayList<String>()

阅读全文 >>

走进函数式编程 (Becomming Functional) (不可变性)

2015-11-11 | 阅读(496)

不可变性(Immutable--不是不让谁变性) 在设计模式中似乎不那么显眼，但是它在函数式编程却起着举足轻重的意义了。我们都知道 Java 的 String 是设计为 Immutable 的，对 String 改变都会产生新的 String 实例，这有助于共享常量池中字符串与并发。

这里再回顾上一篇关于纯虚函数(输入决定输出，无副作用函数，非 C++ 中可重载无 Body 的函数)，由此可知，Immutable 也有助于实现纯虚函数，因为一个不可变实例被传入到某个函数中，该实例的内部状态是无法被修改的，也就是说该函数是无副作用的。

先来感受一下可变类型在并发环境下的一个弊端，看个例子，可变的 Customer 类有三个属性 name, email 和 age, 它还有一个更新方法 updateNameAndEmail() 阅读全文 >>

PKSpin Game on 精彩开发网站链接PKSpin Game is a free Android gaming application and is free to u...
Polo on 想选一种动态语言＋跨平台界面组件的组合，希望大家给点意见Perl + Tkx
best coffee on SciPy 最优化之最小化I wanted to take a moment to commend you on the outstanding quality of...
seetimee on 体验 Python FastAPI 的并发能力及线, 进程模型感谢
Yanbin on Mockito 3.4.0 开始可 Mock 静态方法有一个补救，新写了一篇 https://yanbin.blog/mockito-mock-static-method-in-multiple...