Haskell Live-Coding, Session 18, Nominal Sets
Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'.
We spent the night refactoring my `nominal` library to use a new underlying notion of support and to use a more uniform notion of patricia tries. The tries are currently subbed out for a placeholder, but everything else now works.
http://github.com/ekmett/nominal -- Watch live at / ekmett
In questa pagina del sito puoi guardare il video online Haskell Live-Coding, Session 18, Nominal Sets della durata di ore minuti seconda in buona qualità , che l'utente ha caricato Edward Kmett 03 novembre 2018, condividi il link con amici e conoscenti, su youtube questo video è già stato visto 868 volte e gli è piaciuto 11 spettatori. Buona visione!
