scalanlp/breeze

Optionally Encode Dimension in Types

Open

#526 aperta il 18 apr 2016

Vedi su GitHub
 (16 commenti) (0 reazioni) (0 assegnatari)Scala (690 fork)batch import
help wantedproject

Metriche repository

Star
 (3453 star)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

One thing I found tedious is the runtime check the dimensionality match, for example, when writing a neural network, if you want to be safe, you need to check if the dimensionality of each layer matches, and when writing a single layer, you need to check if the multiple components of that layer have matching dimensions.

I am wondering if it's possible to encode the dimension in type so that such runtime check can be compiler time check? For example, I imagine it's possible to use Shapeless.Nat something like Matrix with D(_2, _3).

Perhaps this has been considered and deemed infeasible?

Guida contributor

Direzione di ricerca
Indagare la fattibilità di codificare le dimensioni delle matrici nei tipi Scala utilizzando Shapeless Nat. Rivedere la discussione nei commenti dell'issue per comprendere le considerazioni precedenti e gli sforzi bloccati. Considerare l'implementazione di una proof of concept utilizzando numeri naturali a livello di tipo per applicare controlli delle dimensioni in fase di compilazione.
Tech stack
scala
Dominio
datamachine learning
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
5
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Oltre 1 settimana
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Poco chiara
Prerequisiti
Scalatype level programmingShapeless
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
10