El propósito de este ticket es llegar a una type class común para el esquema de divide y vencerás, que generalice el tipo de container utilizado en la descomposición del problema y la composición de las soluciones. Es decir, en lugar de un esquema tipo "merge sort" y un esquema para el problema de la potencia, utilizar un esquema único.
Para ello, tendremos que abstraer el tipo de container utilizando higher-kind generics y type-constructor classes, de una forma similar a como se hace en este notebook:
https://github.com/hablatraining/training/blob/master/tema2-typeclasses/src/test/scala/3-TypeConstructors/code/1-Functor.scala
y en estos otros:
https://github.com/hablatraining/funcourse-telefonica-2021/tree/master/5-languages/code
El propósito de este ticket es llegar a una type class común para el esquema de divide y vencerás, que generalice el tipo de container utilizado en la descomposición del problema y la composición de las soluciones. Es decir, en lugar de un esquema tipo "merge sort" y un esquema para el problema de la potencia, utilizar un esquema único.
Para ello, tendremos que abstraer el tipo de container utilizando higher-kind generics y type-constructor classes, de una forma similar a como se hace en este notebook:
https://github.com/hablatraining/training/blob/master/tema2-typeclasses/src/test/scala/3-TypeConstructors/code/1-Functor.scala
y en estos otros:
https://github.com/hablatraining/funcourse-telefonica-2021/tree/master/5-languages/code