cycloid + programming   195

etareduce comments on Rust has a static garbage collector
they have the principal type property which means that given an expression in the language, the most general type can be derived without a single typing annotation
[...]
While Rust doesn't have the principal type property (afaik) and we have elected to only have local type inference, we could have allowed substantially more inference if we wanted to (and indeed we have loosened some restrictions on the globality of inference over the years...).
rust  programming  language  type  inference  comment  summary 
9 weeks ago by cycloid
vi - What is your most productive shortcut with Vim? - Stack Overflow
Classic response to a Stack Overflow question on VIM which is a detailed rant on what made vi such a useful editing tool:

"Your problem with Vim is that you don't grok vi"
vi  vim  editing  language  programming  composability 
june 2019 by cycloid
« earlier      
per page:    204080120160

related tags

4-bit  abelson  abstract  activemq  advice  AI  alan  algebra  algorithm  algorithms  AMA  ampq  analysis  aop  apache  aphorisms  api  apl  apollo  app  applications  approach  architecture  array  arrow  article  articles  aspect-oriented  astyle  asynchrony  atmel  author  automatic  avr  Axler  background  based  bayesian  beaglebone  Beck  bird  bit  bit-twiddling  bitmask  ble  bloom  bluetooth  book  books  borrow  bugs  build  bytecode  c  C#  c++  c-language  cabal  cache  calculus  callback  callbacks  career  Carmack  Carp  categories  category  CC2540  cheat  cheatsheet  checking  checklist  checkthreads  cilk  classic  clojue  clojure  clover  clr  cluster  cmake  cocoa  code  comment  commentary  comparison  competency  complexity  composability  comprehension  con  concepts  concurrency  concurrent  configuration  contention  coroutines  criticism  critique  CRTP  cuckoo  cunit  cython  data  database  datastructure  Dean  debugger  declarative  design  details  detection  development  differentiation  disruptor  distributed  DMA  documentation  driver  ds1000  dsl  dynamic  eclipse  editing  editor  efficiency  emacs  embedded  epigrams  erlang  error  errors  esp8266  estimation  event  example  examples  exercises  experience  ezyang  F#  fan  faq  feature  filter  filters  Fira  floating-point  font  fonts  for  fp  framework  functional  fusion  future  futures  gabriel  garbage-collection  gc  generators  GHC  git  go  google  grapheme  Graydon  GUI  Gustafson  hacks  hadoop  halide  hash  haskell  hello  hickey  high  history  hn  Hoare  htdp  iar  ide  identifier  idiom  idioms  implementation  index  inference  information  insight  interview  intro  introduction  ipython  isinstance  issues  iterator  iterators  Iverson  J  J-lang  java  Jeff  jetty  jobs  julia  jvm  K-lang  kalman  kanban  Karpathy  Kent  kernel  lambda  Lamport  language  languages  latency  layout  leaks  learned  levels  library  lifetimes  lift  lighttable  limits  linear  LinearML  links  linq  linux  lisp  list  llvm  LMAX  lock-free  logging  logic  loop  low  LSP  machine  macos  make  manipulation  manual  mapreduce  mathematics  matrix  mcs51  meijer  memory  message  message-passing  mit  ML  module  monad  monads  monolith  node.js  nordic  Norvig  noteboook  notes  nRF51822  numba  numerical  numerics  objects  observer  ocaml  octopusdb  odersky  OOP  optimal  optimization  osgi  osx  overview  package  paper  papers  paradigm  parallel  parsing  pattern  patterns  pdf  pdfkit  performance  perlis  philosophy  pitfalls  point  Powershell  pragmaticprogrammers  predicate  prettyprinter  pro  probabiity  probabilistic  probability  professional  programming  project  project-mode  prolog  PRU  pyobjc  python  pythonic  qi  quality  quantized  queue  queues  quotations  quotes  racket  rails  RAM  ray  rayon  reactive  reddit  reference  relational  relativistic  reload  resource  rigol  ruby  rust  scala  scheme  scientific  scikits  sequential  sheet  sheets  sicp  singleton  skills  slides  software  spreadsheets  standards  state  static  statistical  statistics  stm  stream  stride  structures  style  summary  surprise  syntax  system  systems  table  tables  talk  techniques  template  test  testing  tests  text  theory  threads  throughput  TI  tip  tips  tools  toread  trends  tricks  tutorial  type  typechecker  types  UI  unicode  unit  unity  unum  UTF-8  UTF-16  UTF-32  UUID  versioning  vi  video  vim  wifi  workflow  world  WTF  yegge  zmq 

Copy this bookmark:



description:


tags: