[轉載]Haskell與範疇論

2010-04-06 黃毅 原文
用haskell的概念解釋範疇論。翻譯自 wikibook : http://en.wikibooks.org/wiki/Haskell/Category_theory

Haskell與範疇論

本文對範疇論做一個簡單的介紹，最終目的是為了將它應用到Haskell語言。為了達到這個目的，我們一邊介紹數學上的定義，一邊給出對應的Haskell代碼。我們不追求這個對應有多精確，只期望讀者在讀完以後，能對範疇論的基本概念及其跟Haskell之間的聯繫有一個直觀的感受。

一個簡單的範疇，由三個對像 A, B 和 C 組成，有三個單位態射 , 和 ，還有另外兩個態射 和 。第三個組成元素（即如何對態射進行組合）沒有展示出來。

本質上講，範疇由三部分組成： 一組 對像 一組 態射 。每個態射捆綁兩個對像（一個源對象，一個目標對像）。（也有人把它們叫做箭頭，我們這裡不這麼叫它，因為這個詞語在Haskell裡面有其他含義。譯註：其他含義指的是 Control.Arrow 。）如果 f 是一個從源對像 A 到目標對像 B 的態射，我們把它記作 。 一個稱為 態射組合 的概念。如果 h 是態射 f 和 g 的組合，我們記作： 。 許多事物都構成範疇。比如全部的集合就構成範疇 Set ，函數（譯註：這裡說的函數是指集合論中的函數）是它的態射，態射的組合就是函數的組合。全部的群也構成範疇 Grp ，保持群結構的函數就是它的態射（群同態），比如任意兩個群 G 和 H ， G 的操作符為 ， H 的操作符是 ，那麼函數 只要滿足如下條件就是一個態射：

乍看之下似乎所有態射都是函數，實際上不一定，比如下面這個例子，任何偏序結構 (P, ) 都構成範疇， P 中的元素就是該範疇的對象，任意兩個元素 a 和 b 只要滿足 ，那麼 就是一個態射。另外，在相同的源對像和目的對象之間可以存在多個態射。我們拿 Set 範疇為例， 和 都是從 到 的函數，但是他們是不同的態射。

C#語法糖

無無聊聊翻開了本c# in a nutshell看了一下 發現了一個和c++幾乎一模一樣的語法糖

using System;
public class Wine
{
  public decimal Price;
  public int Year;
  public Wine (decimal price) { Price = price; }
  public Wine (decimal price, int year) : this (price) { Year = year; }
}

和以下這段code是等價的

using System;
public class Wine
{
  public decimal Price;
  public int Year;
  public Wine (decimal price) { Price = price; }
  public Wine (decimal price, int year) { Wine(price); Year = year; }
}

一樣都會改Price的值 上網找了一下 發現原來還有很多方便的語法糖 以下節錄幾個常用的
經過兩次變異的委託寫法
真的易用多了一開始推出的時候真的完全看不懂

class MyClass
{
    public delegate void DoSomething(int a);
 
    //定義方法委託
    private void DoIt(int a) {
        Console.WriteLine(a);
    }
 
    private void HowtoDo(DoSomething doMethod,int a) {
        doMethod(a);
    }
 
    public static void Main(string[] args) {
        MyClass mc = new MyClass();
        //調用定義的方法委託
        mc.HowtoDo(new DoSomething(mc.DoIt), 10);
        int x = 10;
        //使用匿名委託
        mc.HowtoDo(delegate(int a){
            Console.WriteLine(a + x);
        },10);
 
        //使用lamda表達式
        mc.HowtoDo(a=>Console.WriteLine(a+x),10);
 
        Console.ReadLine();
    }
}

[轉載]Python yield 使用淺析

原文連結
Introduction 
初學 Python 的開發者經常會發現很多Python 函數中用到了yield 關鍵字，然而，帶有 yield 的函數執行流程卻和普通函數不一樣，yield 到底用來做什麼，為什麼要設計yield ？本文將由淺入深地講解 yield 的概念和用法，幫助讀者體會Python 裡yield 簡單而強大的功能。您可能聽說過，帶有yield 的函數在Python 中被稱之為generator（生成器），何謂 generator ？我們先拋開generator，以一個常見的編程題目來展示 yield 的概念。

如何生成斐波那契數列 
斐波那契（Fibonacci）數列是一個非常簡單的遞歸數列，除第一個和第二個數外，任意一個數都可由前兩個數相加得到。用計算機程序輸出斐波那契數列的前N 個數是一個非常簡單的問題，許多初學者都可以輕易寫出如下函數：
清單1. 簡單輸出斐波那契數列前 N 個數

def fab(N):   
    n, a, b = 0, 0, 1   
    while n < N:   
        print b   
        a, b = b, a + b   
        n = n + 1 

執行 fab(5)，我們可以得到如下輸出：

windows下使用putty連接codeanywhere wordpress

怕忘記 留個筆記

首先 download Putty和RSA擷取工具
putty.exe puttygen.exe

到codeanywhere登入後右鍵你的wordpress按config複製網址 網址樣子應該是這樣:

hostX.codeanyhost.com:XXXXX

X是數字
然後右鍵wordpress按SSH terminal輸入以下指令取得private key

cat ../.ssh/id_rsa

或者public key(如有需要)

cat ../.ssh/id_rsa.pub

[轉載] [VirtualBox] Samba 下 Ubuntu與Win7共享資料夾設定，利用 host-only網路

原文連結
使用Samba設置Ubuntu有多種方式，像是Guest OS利用橋接方式與Host OS連結，搭配指定同網段IP的方式來做，但這樣的方式會讓所有區網內的使用者都可以連上Guest OS。只是想在Guest OS上寫寫code應該不用昭告天下吧！
所以為了達到讓Guest OS能夠上網，且同時只有Host OS可以用Samba分享透過內部網路存取Guest OS上的資料，要如何達成呢?

以下用VirtualBox下設置為例
Host OS : Win 7 64bit
Guest OS : Ubuntu 12.04.3 LTS
首先設置VirtualBox網路卡設定