metaprogramming   5004

« earlier    

Singletons cannot into GADTs
This is the reason for "hell singletons" when trying to build GADTs whose parameters are themselves of promoted GADT kind. One day they will add Promote to singletons and, inshallah, we will no longer have to hand-roll our own promotion type families.

Either that, or GHC will let us directly use 'SWhatever (promoted data family constructors).
programming  haskell  dependent-types  platform-crap  deep-platform-crap  types  metaprogramming 
yesterday by derrickturk

« earlier    

related tags

activerecord  advocacy  ast  auto-programming  autogeneration  book  bowkett  build  building  c++  c  cern  clang  clos  code  compiler  compilers  containers  cs  custom  data-structures  data  database  datastructures  decorators  deep-platform-crap  dependent-types  descriptors  designpatterns  development-tools  dsl  dynamic-programming  dynamic  elixir  erlang  error  es2015  es6  example  exceptions  floss  functional  further_reading  gem  generality  generation  github  gnu  haskell  homoiconicity  howto  implementation  inheritance  interpreter  intro  iterable  iterators  javascript  jetbrains  js  julia  language  libraries  library  links  linq  lisp  llvm  logging  lowlevel  macro  macros  make  metadata  metamathematics  mim  modules  monkeypatching  mop  multiparadigm  natural  nim  non-standard-evaluation  nse  object  ocaml  oop  opensource  oriented  orm  os  paper  parsing  paulgraham  performannce  phd  platform-crap  play  powerful  ppx  practical  productivity  programming  programming_language  proxy  python  python3  quasiquotation  quotation  racket  rails  reflection  requests  result  robin_milner  robustness  rspec  rstats  ruby  rubyonrails  scala  scheme  selfreference  shuttle  sourcecode  sql  staging  symbols  syntax  synthesis  template  tips  toolkit  tools  transformation  tutorial  type-checking  typeannotation  types  typescript  video  web  workout 

Copy this bookmark:



description:


tags: