Resultados da pesquisa a pedido "partial-functions"
A função parcial anônima no inicializador inicial requer "acesso prematuro à classe"
Por que isso falha na compilação: trait Item trait StringItem extends Item { def makeString: String } trait SomeOtherItem extends Item trait DummyTrait case class Marquee(items: Seq[Item]) extends { val strings: Seq[String] = items.collect { ...
Idris: a função funciona com o parâmetro Nat e falha na verificação de tipo com o parâmetro Inteiro
Eu sou novo em Idris. Estou experimentando tipos e minha tarefa é fazer uma "cebola": uma função que usa dois argumentos: um número e qualquer coisa e coloca tudoList aninhado esse número de vezes. Por exemplo, o resultado paramkOnion 3 "Hello ...