typed-holes

    4熱度

    1回答

    Typed holes提供了一個找到如何實現某些東西的好方法:如果你知道使用什麼函數,比如說foo,那麼你可以寫出類似foo _ _ _的東西,並讓編譯器告訴你它對每個參數需要什麼類型。這使得查詢任何文檔基本上沒有必要。 但是,如果您實際寫出下劃線的正確號碼,它纔會正常工作。目前,我通常通過一些試驗性的方法來確定這一點,但並不總是顯而易見的,因爲在Haskell中,函數總是可以部分應用。 什麼是盡