我有LocalDate,其中包含日期2012-12-28,我想打印它的本地化月份名称(即12月在波兰语)在属格,这是不同的波兰语与命名(怨恨和勉强ń分别)。我的问题是关于用箭头标记的行:我应该如何实现MonthNameGenitive?编辑:private static final java.time.format.DateTimeFormatter有趣的是,在DateFormatSymbols
众所周知,具有kind Type -> Type的类型构造函数(在系统F-omega中)只有在实现函数(a -> b) -> f a -> f b的情况下才是Functor。因此,带有Type -> Type的类型构造函数并不总是函数式函数。但这只是关于类型类别中的协变内部函数器。还有逆变函子和更多种类的函子。我的问题是:任何具有种类Type -> Type的类型构造函数/函数都是某种(类别论)合法函数(协变、逆变或其他类型)吗?