Programmazione shapeless

1

Sto cercando di chiamare una Shapelessmacro dall'interno di un quasiquotecon Scalae non sto ottenendo quello che vorrei ottenere. La mia macro non restituisce alcun errore ma non si espande Witness(fieldName)inWitness.Lt[String] val implicits = schema.fields.map { field => val fieldName:String = field.name val fieldType = TypeName(field.valueType.fullName) val in = TermName("implicitField"+fieldName) val …

272 scala scala-macros shapeless scala-quasiquotes

2

Limiti di tipo Nat in Shapeless

In informe, il tipo Nat rappresenta un modo per codificare numeri naturali a livello di tipo. Viene utilizzato ad esempio per elenchi di dimensioni fisse. È anche possibile eseguire calcoli a livello di tipo, ad esempio aggiungere un elenco di Nelementi a un elenco di Kelementi e recuperare un elenco …

151 scala numbers compiler-optimization shapeless

4

HLists non è altro che un modo contorto di scrivere le tuple?

Sono davvero interessato a scoprire dove sono le differenze e, più in generale, per identificare i casi d'uso canonici in cui gli elenchi HL non possono essere utilizzati (o meglio, non producono alcun vantaggio rispetto agli elenchi regolari). (Sono consapevole che ci sono 22 (credo) TupleNin Scala, mentre uno ha …

144 scala types tuples hlist shapeless

4

Qualche motivo per cui scala non supporta esplicitamente i tipi dipendenti?

Ci sono percorsi tipi dipendenti e penso che sia possibile esprimere quasi tutte le caratteristiche di tali lingue come Epigram o Agda a Scala, ma mi chiedo perché Scala non supporta questo più esplicitamente come fa molto bene in altri settori (ad esempio , DSL)? Qualcosa che mi manca come …

109 scala path-dependent-type dependent-type shapeless

Domande taggate «shapeless»