Это одна из тех уловок, которую труднее найти, когда вы незнакомы с языком, но все остальные знают и используют его.
В моем случае мне интересно, что это значит, когда у вас есть имя переменной, скажем ts
, и вы помещаете перед ним символ \
:
newtype Parser a = Parser (String -> [(String, a)])
produce :: a -> Parser a
produce x = Parser (\ts -> [(ts, x)])
Я предполагаю, что это абстрагирование переменной? Если да, то как бы он был переведен на другие языки, такие как Scala?