我知道我可以這樣寫SML中的y-combinator,如下所示: 首先聲明一個新的數據類型來繞過由於圓形造成的類型不匹配。 datatype 'a mu = Roll of ('a mu -> 'a)
val unroll = fn Roll x => x
現在您可以輕鬆定義的Y組合子: val Y = fn f => (fn x => fn a => f (unroll x x) a)
我有設計工作在我的Ruby on Rails應用程序,但查看用戶需要身份驗證,我不希望這樣。我試過設置authenticate_user像這樣: class UsersController < ApplicationController
before_filter :authenticate_user!, :except => [:show, :index]
..
end