前言： 今天看到Brent寫的一篇有趣的文章，分享給大家，尤其適合有孩子的程序員家長。

昨天，我正在讀一篇關于函數式編程的學術論文，6歲的兒子朝我走過來，問道：“你在看什么呢?”

我不知道從哪里開始給他解釋，于是決定直接了當地回答：“我正在看一個關于自由定理的很長的故事。”

他追問到：“什么是自由定理?”

這該對一個6歲的孩子怎么解釋呢? 但是作為一個老師， 我不會在教學挑戰面前退縮的。

我想了一會兒，問道：“你知道什么是函數嗎?”

他不知道。

“函數有點兒像機器，你可以把一些東西從一端放進去，然后另一端就會出來一些東西。舉個例子，你把一個數字放進去，然后比這個數字大1的一個數就會出來，比如你放進去3，出來一個4， 你放進去6，出來一個7 。”

這對他來清晰易懂，于是我繼續解釋：“函數有類型，類型能告訴我們什么樣的東西放進去，什么樣的東西取出來。比如你放進去一個數字，取出來一個數字;或者你放進去一個包含幾個數字的列表，然后也取出來一個數字。”

他很興奮地把我打斷了：“也許我可以把單詞放進去?”

“沒錯，你可以把單詞放進去，再把單詞取出來?；蛘哂幸粋€特殊的函數機器，可以讓你把函數機器放進去，然后取出一個新的函數機器!”

他倒吸了一口涼氣：“一個產生機器的機器!”

“所以，” 我總結道，“自由定理就是你僅僅知道這個函數機器的類型，不知道它內部到底干了啥，但是你現在可以對這個函數機器說一些總是為真的斷言。”

很明顯，這遠遠超出了他的認知。不過整個談話給了我一點靈感。

“嗨，我想到了一個好主意，” 我說，“咱們來玩一個函數機器游戲吧，我會在腦海中想一個函數機器，你告訴我想放進去什么東西，我告訴你什么東西會從機器中出來，然后你可以猜一猜這個函數機器做了什么事情。”

他立刻喜歡上了這個游戲，這對我是個巨大的“打擊”，因為他想一直玩下去。昨天晚上我開車去參加一個派對的時候在玩，我早上沖澡的時候也在玩。

到目前為止，他正確地猜出了這些“函數機器”

這一個對他有點難度：

我意識到在幾種情況下，他能理解函數的功能，但是不容易用語言表達出來。

于是我們對有些做了一些改變，一旦他覺得自己猜出了函數的功能，我們就調換角色， 由我來指定輸入，他來根據自己的理解產生輸出，看看和我想的對不對。

這個函數機器對他來說出乎意料地難猜(雖然他最終猜對了)，他花了很長時間猜測，因為他以為機器會對輸入數字做點兒數學運算， 所以總想找到一個“公式”。

他沒有想到的是，函數機器可以根本就不關心輸入數據。無論你輸入什么， 機器的每次的輸出都是 6 !(有趣的是，在我的函數式編程課上，很多學生在做Lambda演算的時候，也對cosntant function非常困惑。)

經過幾輪對我的函數機器猜測之后，小家伙也想構造出他的函數讓我猜了!有時候他的函數非常棒，有時候確沒什么意義。不管怎樣，這很有趣 !

當他最終理解了 這個函數做的事情：

隨后，他也想出了這樣“復雜的”函數：

我想這是因為他受到了幼兒園課程的啟發，在那里他學到了一對兒加起來等于10的數字。

這絕對是我教育孩子最好的時光之一。

---------------------------------------

我看完后覺得這游戲非常有趣，也拉著閨女玩了起來。

我們玩了幾輪以后，她開始構造函數機器，讓我猜。

可是玩了幾個普通的函數以后，小孩子就不按常理出牌了，比如居然給我整了一個返回隨機數的函數，這可真不好猜。

還有一個非常有代表性的函數機器：

• 我說：10 ， 她說 ：1
• 我說：9， 她說 ：2
• 我說：33， 她說 ：3
• 我說：34 ， 她說 ：4

我一下子明白了，她這個函數不是“純函數”，是有狀態的 !

或者無意中搞了一個閉包。

這可怎么給她解釋?!