do塊中的案例表達式的裁剪規則。

Question

我正在閱讀關於Monad變形金剛的this教程。它包含一個示例代碼，其中一個case表達式出現在do塊中（如下圖所示）。

什麼是這樣的案件表達desugared？在一個do塊

Answer 1

case表達式不脫糖比他們一個do塊之外的任何更多。它們只是Monad m => m a類型的表達式。

它非常類似於if，這也不desugared。