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 
4 weeks ago
« earlier      
accuracy adc ai ajax algebra algorithm algorithms analog analysis android antenna api apple applescript architecture arm array article austin battery bayesian bitcoin ble bluetooth book broker build c++ c-language cache carrier cep chart cheatsheet chrome circuit clock code comparison component computing concurrency criticism css cummins data database datum deep design development dgps diagram diesel display distributed diy documentation dodge e-ink ee ehr electronic electronics elisp emacs embedded emr energy engineering erlang error estimation example examples extension f-150 faq filter flash ford foss fp framework functional geodesy geometry gis git gnss google gps graph guide hack hardware haskell hemi6.4 history hn howto ide identity image index interesting interview ios iot ipython java javascript jvm kalman language layout learning library lidar linear links linux lisp lithium location logger low-energy lowpower macos management manufacturer map mapping mathematics memory message ml mobile model module mpg mqtt multipath navigation network nordic nrf51822 nsi numerical ocr optimization oss osx overview package paper parallel pcb pdf performance phase position power privacy probability processing programming project protocol python quantum ram receiver reference rest rf rtk ruby rust rv scanning search security sensor sequence service signal simulation software solar source spatial specification statistics storage supplier supply survey system systems teardown test testing text textbook theory time tips tool toolchain tools toread towing tracking trailer truck tutorial u-blox uml video vim vision web wifi wireless

Copy this bookmark: