История изменений
Исправление www_linux_org_ru, (текущая версия) :
гетерогенным списком можно конечно назвать что угодно — дело хозяйское; приличное условие вот:
HList lets the user formulate statically checkable constraints: for example, no two elements of a collection may have the same type (so the elements can be unambiguously indexed by their type).
а твой код на первый взгляд и на яве можно написать
я считаю процитированное условие приличным, т.к. оно позволяет поделить языки на классы «не получается, получается сложно, получается, получается красиво»
на расте скорее всего не получится вообще; если получится — интересно глянуть
Исправление www_linux_org_ru, :
гетерогенным списком можно конечно назвать что угодно — дело хозяйское; приличное условие вот:
HList lets the user formulate statically checkable constraints: for example, no two elements of a collection may have the same type (so the elements can be unambiguously indexed by their type).
а твой код на первый взгляд и на яве можно написать
я считаю процитированное условие приличным, т.к. оно позволяет поделить языки на классы «не получается, получается сложно, получается, получается красиво»
на расте скорее всего не получится вообще
Исправление www_linux_org_ru, :
гетерогенным списком можно конечно назвать что угодно — дело хозяйское; приличное условие вот:
HList lets the user formulate statically checkable constraints: for example, no two elements of a collection may have the same type (so the elements can be unambiguously indexed by their type).
а твой код на первый взгляд и на яве можно написать
я считаю процитированное условие приличным, т.к. оно позволяет поделить языки на классы «не получается, получается сложно, получается, получается красиво»
Исправление www_linux_org_ru, :
гетерогенным списком можно конечно назвать что угодно — дело хозяйское; приличное условие вот:
HList lets the user formulate statically checkable constraints: for example, no two elements of a collection may have the same type (so the elements can be unambiguously indexed by their type).
а твой код на первый взгляд и на яве можно написать
я считаю это условие приличным, т.к. оно позволяет поделить языки на классы «не получается, получается сложно, получается, получается красиво»
Исходная версия www_linux_org_ru, :
гетерогенным списком можно конечно назвать что угодно — дело хозяйское; приличное условие вот:
HList lets the user formulate statically checkable constraints: for example, no two elements of a collection may have the same type (so the elements can be unambiguously indexed by their type).
а твой код на первый взгляд и на яве можно написать