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

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


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

    所以进一步，函数要成为第一等公民，它本身可以很容易的作为参数传入或作为返回值，即能构成高阶函数。这在 Swift 也是没问题的，我们可以定义函数类型的变量，例如：
     1func addTwoInts(a: Int, _ b: Int) -> Int {
 2    return a + b
 3}
 4
 5var addFunction: (Int, Int) -> Int = addTwoInts  //addTwoInts 函数类型表示 (Int, Int) -> Int
 6print(addFunction(1, 2))
 7let add = addTwoInts       //自动推断出 add 函数的类型
 8
 9func foo() {
10  print(123)
11}
12let f:()->Void = foo

    Read More

  • Swift 学习笔记(函数)

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

    1func greet(name: String, day: String) -> String {
2  return "Hello \(name), today is \(day)"
3}
4
5greet("Bob", day: "Tuesday")

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

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

  • Swift 学习笔记(基本语法)

    calendar Nov 22, 2015   ---   · 2 min read · Swift  ·
    Share on: linkedin copy
    因为是本人学习 Swift 的笔记，是基于所掌握的其他语言来认识 Swift 的，所以并非详尽的 Swift ABC，也就显得凌乱不堪。

    不会自动转型，强型转型的方式是 String(变量值), 括号不是括住类型
    1let number = 123
2let message = "total: " + a  //这是错的，必须写成 “total: " + String(number), 直接常量的话 let message = “total:" + String(123)

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

  • Swift 语言 Server 端开发资料收集

    calendar Nov 18, 2015   ---   · 2 min read · http Swift  ·
    Share on: linkedin copy
    苹果的 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 中运行就不难了。 Read More

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

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

    1addSbtPlugin("com.typesafe.sbt" % "sbt-aspectj" % "0.10.4")
    其他就是参考例子 runnable sample projects，然而这几个例子并非那么直白。所以还是自己做一个最简单的例子来体验 sbt 项目如何使用 AspectJ. Read More

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

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


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

    先来比较下循环变换成递归的一个简单示例，用 Scala 实现 Read More

  • Java 8 的泛型增强

    calendar Nov 11, 2015   ---   · 1 min read · java8 泛型  ·
    Share on: linkedin copy
    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 下编译不过
    1List<String> list = new ArrayList<>();
2list.addAll(new ArrayList<>()); //根据 list.addAll() 上下文推断要创建的类型是 new ArrayList<String>()

    Read More

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

    calendar Nov 11, 2015   ---   · 2 min read · Functional  ·
    Share on: linkedin copy
    走进函数式编程 (Becomming Functional) (不可变性)

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

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

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

  • 走进函数式编程 (Becomming Functional) (2)

    calendar Oct 6, 2015   ---   · 2 min read · FP Functional  ·
    Share on: linkedin copy
    走进函数式编程 (Becomming Functional) (2)
    函数式编程第二式，纯函数 (Pure Functions). 何谓纯函数，纯函数就是数据库的函数一样没有副作用，不修改对象的内部状态，或者说只进行计算。给定什么输入，永远得到相同的输出，即输出只依赖于输入。


    纯函数有什么好处呢？极其容易测试，只需要给定一组输入，对输出进行断言。如果是带副作用的方法，它修改了某个私有的属性，很难进行状态判定。

    Scala 基于统一访问原则，属性与方法不需要那么明晰，所以属性与方法名是不能重名的。它对有无副作用存在这么一个约定：

    空括号方法 (empty-paren method), 如 def width() {...} 它是有副作的。这样调用 obj.width()
    无参方法 (parameterless method), 如 def width {...}, 它是无副作的。这样调用 obj.width, 这和使用属性一致形式

    Java 也有类似的约定，get 开头的或 getter 方法往往是无副作用的。要是有人偏偏在 getName() 方法里修改了对像的属性而引入了 Bug，那只会让人唏嘘不已。

    方法的副作用一般有哪些呢？
    1. 输出内容到屏幕
    2. 写数据到文件或数据库
    3. 修改了对象的属性
    Read More

  • 走进函数式编程 (Becomming Functional) (1)

    calendar Oct 2, 2015   ---   · 2 min read · FP Functional  ·
    Share on: linkedin copy
    走进函数式编程 (Becomming Functional) (1)
    本人正在阅读 《Becoming Functional》这本书，且对 Scala 的使用经验已有数年，所以品读的同时更是对头脑中函数编程的概念进行重新整理。函数编程并非一定要诸多语言特性的支持，它是一种不同的思维方式；比如说我们公司项目如今还是用的 Java 7，但我们一直以函数式思维来书写我们的代码。我们正在从 Java 7 升级到 Java 8，待到 Java 8 时代码行文肯定要比现在简练的多，但函数式编程思维未变。


    下面是函数式编程基本概念
    1. First-class functions: 函数是第一类型
    2. Pure functions:  纯函数，无边界效应，输出依赖于输入，易测试。像数据库的函数而非存储过程
    3. Recursion: 递归，Scala 强调尾递归优化，避免坠入 StackOverflow
    4. Immutable variables: 这在 OO 里也是一种不错的模式，它与 Pure function 也是相辅的。可能是首先映入函数式编程思维的概念，它不关乎并发性能，解决了并发冲突
    5. Nostrict evaluation: 即变量值的赖加载，变量不到用时不初始化。在 Java 只能用方法来模拟实现
    6. Statements: 表达式优于控制结构，语句可以有返回值的，如 val a = if (condition) 1 else 2
    7. Pattern Matching: 模式匹配，不光是通常对数值或字符串的 switch/case, 还能应用到任何对象的匹配，进行类型检查或从对象中提取元素

    《Becoming Functional》逐章对上面七大概念进行讲解.

    First-class functions: 函数是第一类型 Read More