※ 本文是否可提供臺大同學轉作其他非營利用途？（須保留原作者 ID） （是／否／其他條件）：是 哪一學年度修課：104-1 ψ 授課教師 (若為多人合授請寫開課教師，以方便收錄) 穆信成 λ 開課系所與授課對象 (是否為必修或通識課 / 內容是否與某些背景相關) 資管系選修 δ 課程大概內容 課程大綱列的是： 0. Introduction 1. Introduction to Haskell --Functions, Values, and Types 2. Introduction to Haskell -- Simple Datatypes & Functions on Lists 3. Definition and Proof by Induction 4. A Quick Note on Type Classes 5. A Brief Discussion About Semantics 6. Domain-Specific Embedded Languages 7. Type and Logic 8. Hoare Logic ↓這個大綱是我自己上完，我覺得老師傳遞的，不知道我接收到的和老師原本想 傳遞的一不一樣就是了！ 在程式部分，從functional programming導入，從最基礎的語法、型別、資料結 構開始，接下來透過一些數學的運算探討程式的性質，並了解程式與證明之間的 關係，以及證明程式的結果是正確的，最後再回歸imperative programming。 在語言部份，探討關於Datatype以及探討語言中語意的意義，以及透過自己寫的 一個小語言來解決一些專門的問題，順便探討語言的目的。 （當然老師在教的時候，是融合在一起教的） Ω 私心推薦指數(以五分計) ★★★★★ 從各方面來說都超棒，五星給推！ η 上課用書(影印講義或是指定教科書) 老師會列印講義發給我們，講義也會貼在課程網頁上。 μ 上課方式(投影片、團體討論、老師教學風格) 老師今年改了一下上課方式，因為往年都是老師上課一直講，然後練習題就自己 回家練習，考試就跟練習題蠻像的，但因為練習題不是強制要交的，所以大家都 沒有回家練習，也不知道有沒有理解，老師覺得這樣學習效果低落，所以今年就 改成老師上課講一個段落，會給時間讓大家在下面自己練習，可能是手寫證明或 者是用電腦寫程式，老師這時候會下來巡，如果有同學有問題，老師就會和同學 討論，等到老師看大家都差不多，老師會再講解一下該練習題的作法，如果來不 及完成的同學，最後解答都會放置在課程網可供下載。 因此造成今年教的內容比往年少很多。 我覺得這樣的教學模式，因為老師本身講解非常清楚，再加上聽完馬上實作，不 論是對付考試，或是在觀念理解建立上都很有幫助。 當然也許對於強者而言，老師的步調會過慢。不論是寫程式或寫證明，對於強者 而言，若一下子就完成，會覺得很冗，那或許可以用電腦做自己的事。但像我這 樣平凡人覺得整體上還好，在前半學期老師在語法上確實是有點慢，可能是剛開 始這樣的上課方式，老師沒有掌握的那麼剛好，但後半學期基本上我覺得很不錯 。 我覺得有些寫程式的部分，自己真的拿電腦去實作，而且不用花費額外的時間， 覺得相當不錯！在自己真的想過，但還是想不懂該怎麼辦時，老師再一邊當場寫 給我們看一邊講解他寫程式的邏輯，會印象深刻，收穫很多。 →因為老師有給我們時間想過，不是單方面一直接收資訊，這點真的很不錯！ 因為今年是第一次嘗試這樣的教法，最後老師有發問卷調查這樣上課方式的評價 ，不知道以後會不會做一些調整。 σ 評分方式(給分甜嗎？是紮實分？) 原定期中、期末考，高的60%低的40%，不過後來好像改成高的70%、低的30%。 。 ρ 考題型式、作業方式 無作業 考試主要就手寫一些程式和證明，可以帶任何資料進去考試。 我覺得老師考題出得超棒的！這一定要大大稱讚！而且老師考卷是自己改的！ 期中考得很簡單，（我覺得主要是因為範圍少，而且觀念不難），但你要徹底理 解才有辦法答對每道題，結果期中考大家都考太高了，所以期末考就變難了！ 期末考蠻難的，但不是刁難，如果觀念清楚，是可以答得出來！ →這是什麼意思呢？ 難而且刁難就是你看完解答你會覺得：這啥！？這怎麼有人想的到啊！ 難但不刁難就是你一開始看完題目，你覺得完全不知道怎麼下手，但是因為時間 很充足，你慢慢想絕對會有想法。就算真的沒有算出來，你看到解答的時候，你 會覺得：喔~~~ 原來是這樣啊~~好有道理喔！ ω 其它(是否注重出席率？如果為外系選修，需先有什麼基礎較好嗎？老師個性？ 加簽習慣？嚴禁遲到等…) 出席率、遲到都不重要。冬天九點的課，到後來出席率應該不到一半吧！ 老師人超好，有問題去找老師討論都很有耐心，絕對不會不耐煩，聖誕節還請有 來的同學吃金莎巧克力^^~~ 基礎的話，建議至少會寫任何一種程式就可以，雖然functional language跟其他 程式很不一樣，不過老師會比較functional language和imperative programming 的一些性質，但只論考試內容的話，無基礎應該也還可以。 外系看起來好像也只有電資學院的學生的樣子，加簽是一類加選，大家想加簽就 直接上網加簽吧！ Ψ 總結 如果可以自己看懂老師的講義和練習題，都不想去上課，只來考試，也沒問題。 不過我覺得這門課的價值在於老師上課口述的內容，這門課主要是給你一些對程 式和語言的一些想法，老師真的教的超棒！ --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.251.161.110 ※ 文章網址: https://webptt.com/m.aspx?n=bbs/NTUcourse/M.1453614366.A.FDF.html