types   6085

« earlier    

From Type Theory to Haskell in 10 Minutes
[...]the type systems that we use every day in our programming languages are descendants of a field of logic known as type theory[...]
programming  types  type_theory  haskell 
yesterday by ramicof
Exploring C++ types with `puts(__PRETTY_FUNCTION__)` – Arthur O'Dwyer – Stuff mostly about C++
Today on Slack I noticed that some people still don’t know this one, so it should be shared more widely.
c++  type_inference  ergonomics  types  tricks  programming_language_experience 
7 days ago by jbkcc
Hazel, a live functional programming environment featuring typed holes.
Hazel, a web-based programming environment for an Elm/ML-like functional language that is being designed from the ground up around typed hole-driven development.

sameAs: https://github.com/hazelgrove/hazel
paper: Toward Semantic Foundations for Program Editors
paper: Hazelnut: A Bidirectionally Typed Structure Editor Calculus
paper: Live Functional Programming with Typed Holes
language  types  synthesis  ide  repl 
9 days ago by slowbyte

« earlier    

related tags

13  2018  abi  advantages  affine  agda  algebra  algebraic_data_types  algorithms  are  around  associated-types  associated  b-tree  book  btree  c#  c#8  c++  c  cable  catefories  cell  cg  checking  clojure.spec  code  coding  coercion  cognition  column  comonads  compilers  computer_science  computergraphics  computers  conference  continuations  contracts  copper  cs  data  database  datasci  datastructures  dataviz  deep-platform-crap  defense  dependent-types  dependent  dependent_types  design  development  different  distributed  dns  documentation  dylan  dynamic  elm  ergonomics  eric  es6  every  excel  existential-types  extra  facebook  ffi  fitting  flirts  formalmethods  fp  functional-programming  functional  functors  gay  geiger  generic  generics  graphics  guy  hacker-news-comments  haskell  ide  idris  immutable  incremental  informatics  interpreters  intro  invariant  itp  javascript  knowhow  knowledge  knows  kotlin  kotlinconf  language  languages  lens  linear-types  links  lisp  macros  math  mathematics  metaprogramming  metatypes  mysql  naptr  negative  ocaml  of  oolong  opaque  paper  papers  pattern-matching  personality  pex  php  platform-crap  plumbing  polymorphism  porting  profile  proglang  programming-languages  programming  programming_language_experience  programming_languages  prolog  prop  proptypes  protobuf  protocols  python  python3  r  react  readxl  record  reddit  relational_database  rendering  repl  rising  row-types  rr  ruby  rust  seo  serialization  slides  sql  stack_overflow  static-typing  static  statictypes  storage  strongmen  structures  substructural-types  survey  swift  synthesis  systems-programming  taiwan  team  that  the  thinker  tidiverse  topologies  toread  tracing  trees  tricks  tutorial  type-classes  type-system  type_inference  type_system  type_theory  typescript  typetheory  typing  usb  vs.  work  world 

Copy this bookmark: