Próbuję wywołać Shapelessmakro od wewnątrz quasiquoteze Scalai ja nie dostaję tego, co chciałbym dostać. Moje makro nie zwraca żadnych błędów, ale nie rozwija się Witness(fieldName)doWitness.Lt[String] val implicits = schema.fields.map { field => val fieldName:String = field.name val...
W bezkształtnym typ Nat reprezentuje sposób kodowania liczb naturalnych na poziomie typu. Jest to używane na przykład w przypadku list o stałym rozmiarze. Możesz nawet wykonać obliczenia na poziomie typu, np. Dołączyć listę Nelementów do listy Kelementów i otrzymać listę, która w czasie kompilacji...
Naprawdę jestem zainteresowany ustaleniem, gdzie są różnice, a bardziej ogólnie, zidentyfikowaniem kanonicznych przypadków użycia, w których HLists nie mogą być używane (a raczej nie dają żadnych korzyści w porównaniu do zwykłych list). (Zdaję sobie sprawę, że TupleNw Scali jest 22 (wierzę) ,...
Istnieją typy zależne od ścieżki i myślę, że można wyrazić prawie wszystkie cechy takich języków jak Epigram czy Agda w Scali, ale zastanawiam się, dlaczego Scala nie obsługuje tego bardziej dosłownie, tak jak robi to bardzo ładnie w innych obszarach (powiedzmy , DSL)? Brakuje mi czegoś takiego jak...