Function types are indeed the natural way to represent the type of a lambda expression, but unfortunately they interact badly with an existing language "feature" : erasure.

函数类型确实是表现lambda表达式类型的一种自然方法，但遗憾的是它们无法与现有语言功能“擦除(erasure)”很好地进行交换。

youdao

I think I would handle a meeting with Mr. Siegel very badly.

我觉得我可能应付不了与西格尔先生的会谈。

《柯林斯英汉双解大词典》

Forsyth is doubtful for tonight's game with a badly bruised leg.

福赛斯因为严重的腿伤不太可能参加今晚的比赛。

《柯林斯英汉双解大词典》

For example, areas with mangrove forests were not damaged as badly by the Indian Ocean tsunami in two thousand four.

VOA: special.2010.04.20

We've heard I guess it was Badly Drawn Boy--Boys there with a two-chord chord progression.

我们已经听过貌似是涂鸦男孩，他们是二和弦进行。

耶鲁公开课 - 聆听音乐课程节选

Some of them are living very badly and others are living with great comfort.

有些人过得很惨,另一些人却过得很滋润。

耶鲁公开课 - 金融市场课程节选

"Britain came off pretty badly with most of the dimensions looked at, " he said.

BBC: NEWS | UK | England | England has 'unhappiest children'

The idea went down badly with the Conservative right in particular and the proposal was eventually dropped.

BBC: A tough job at Justice

That sort of thing goes down badly with politicians, and they are queuing up to propose fixes.

ECONOMIST: Disquiet is growing over restrictions on foreign visitors