История изменений

Т.е. у нас есть тип который мы хотим определить. Пусть это будет тип А. И пусть так же есть функция hello принимающая значение типа int и возвращающая void.

Тогда положим для java у нас получается что то вроде

interface interfaceA {
  int hello(int i);
}

class A implements interfaceA {
  int hello(int i) {...}
}

hello :: InterfaceA -> Integer -> Integer

typeclass InterfaceA where
  hello :: InterfaceA -> Integer -> Integer

instance InterfaceA A where
  hello a i = undefined

UPD. Правда вот тут осознаю что кто из них шаблоны, кто дженерики, для меня тёмный лес. Т.е. дженерики - это штуки из явы, которые Array<A> array ? Или имеется ввиду GenericHaskell? И кто такие шаблоны? Всегда для себя считал что шаблоны с++ это как раз то что называется Generics в ява (и в общем-то использовал их именно так, правда практики немного). А тут чёрт разберёт что вы имеете ввиду все.

Т.е. у нас есть тип который мы хотим определить. Пусть это будет тип А. И пусть так же есть функция hello принимающая значение типа int и возвращающая void.

Тогда положим для java у нас получается что то вроде

interface interfaceA {
  int hello(int i);
}

class A implements interfaceA {
  int hello(int i) {...}
}

hello :: InterfaceA -> Integer -> Integer

typeclass InterfaceA where
  hello :: InterfaceA -> Integer -> Integer

instance InterfaceA A where
  hello a i = undefined

UPD. Правда вот тут осознаю что кто из них шаблоны, кто дженерики, для меня тёмный лес. Т.е. дженерики - это штуки из явы, которые Array<A> array ? Или имеется ввиду GenericHaskell? И кто такие шаблоны? Всегда для себя считал что шаблоны с++ это как раз то что называется Generics в ява. А тут чёрт разберёт что вы имеете ввиду все.

Т.е. у нас есть тип который мы хотим определить. Пусть это будет тип А. И пусть так же есть функция hello принимающая значение типа int и возвращающая void.

Тогда положим для java у нас получается что то вроде

interface interfaceA {
  int hello(int i);
}

class A implements interfaceA {
  int hello(int i) {...}
}

hello :: InterfaceA -> Integer -> Integer

typeclass InterfaceA where
  hello :: InterfaceA -> Integer -> Integer

instance InterfaceA A where
  hello a i = undefined

UPD. Правда вот тут осознаю что кто из них шаблоны, кто дженерики, для меня тёмный лес. Т.е. дженерики - это штуки из явы, которые Array<A> array ? Или имеется ввиду GenericHaskell? И кто такие шаблоны?

Т.е. у нас есть тип который мы хотим определить. Пусть это будет тип А. И пусть так же есть функция hello принимающая значение типа int и возвращающая void.

Тогда положим для java у нас получается что то вроде

interface interfaceA {
  int hello(int i);
}

class A implements interfaceA {
  int hello(int i) {...}
}

hello :: InterfaceA -> Integer -> Integer

typeclass InterfaceA where
  hello :: InterfaceA -> Integer -> Integer

instance InterfaceA A where
  hello a i = undefined

UPD. Правда вот тут осознаю что кто из них шаблоны, кто дженерики, для меня тёмный лес. Т.е. дженерики - это штуки из явы, которые Array<A> array ? Или имеется ввиду GenericHaskell? И кто такие шаблоны?

Т.е. у нас есть тип который мы хотим определить. Пусть это будет тип А. И пусть так же есть функция hello принимающая значение типа int и возвращающая void.

Тогда положим для java у нас получается что то вроде

interface interfaceA {
  int hello(int i);
}

class A implements interfaceA {
  int hello(int i) {...}
}

hello :: InterfaceA -> Integer -> Integer

typeclass InterfaceA where
  hello :: InterfaceA -> Integer -> Integer

instance InterfaceA A where
  hello a i = undefined