imperative   285

« earlier    

Project DOT: Forth Coding Practices - 02-2010-Falvo.pdf
The slide deck that gave birth to both DItI and Ascetic Programming.
declarative  inquisitive  imperative  forth  ascetic  programming 
18 days ago by kc5tja
Plasma Programming Language
The Plasma programming language strikes a balance between functional and imperative programming, making it easier to write reliable and efficient software.
functional  imperative  multiparadigm  programming  language 
october 2018 by gilberto5757
The Algorithms of CSS, by Lara Schenck
“CSS isn’t a ‘real’ programming language,” we CSS developers are often reminded — we don’t write programs, we describe presentation. Algorithms and CSS, then, don’t exactly go hand-in-hand … or do they?
fridayfrontend  css  video  algorithms  programming  language  imperative  declarative 
august 2018 by spaceninja
OCaml
OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles
OCaml  language  functional  imperative  object-oriented  programming 
may 2018 by brunsnik
The Great Theorem Prover Showdown • Hillel Wayne
I think that the appropriate paradigm is heavily dependent on context, but a lot of people speak in universals. I keep hearing that it’s easier to analyze pure functional code than mutable imperative code. But nobody gives rigorous arguments for this and nobody provides concrete examples. Nobody actually digs into why assignments and transitions are so much harder to reason about than pure functions and IO monads.
programming  types  proofs  formal-methods  dependent-types  fp  dafny  verification  theorem  proof  prover  imperative  functional 
april 2018 by kybernetikos

« earlier    

related tags

1%  1900s  2012  2017  3  4  5  a  abstieg  abstraction  academic  action  advantage  advocacy  ai  algorithms  american  an  angular  angularjs  api  applicability  architecture  article  as  ascetic  astrology  astronomy  austerity  author:andrestaltz  avant  avoidance  bailout  bank  barackobama  basics  bat  beginner  blocking  blog:  borderless  boyd  brian  bribery  browserhosted  budget  business  business_logic  calculus  capital  capitalism  career  causal  cesium  change  class  clojure  code  coding  coefficient  comments  commit  comparison  competence  component  concatenative  concern  concurrency  concurrent  constraint  consumer  control  core  corporate  corruption  course  cray  creativity  crime  criticism  critique  crony  css  culture  d3  dafny  data  dataoriented  declarative  declaritive  declerstive  defective  deficit  define-by-run  definition  democracy  dependent-types  depression  design  dev  develop  devops  difference  digital  disadvantage  distribution  divination  dogma  door  drakon  dream  drop  eager  economics  education  educational  employee  english  erlang  ethical  evasion  example  examples  execution:  experience  experimental  exploitation  expressiveness  expressivity  fairness  ferguson  fibonacci  flat  flex  floss  flux  foester  formal-methods  forth  four  fp  france  free  french  fridayfrontend  from  fulfillment  function  functional  functionallanguages  functions  funding  funny  future  gains  general  generationengerechtigkeit  generationy  gesellschaft  gfc  gigaom  gini  git  github  globalisation  globalization  globe  governance  grammar  graphics  greed  growth  gui  guideline  guides  haskell  hosted  howto  ibm  iching  identity  ideology  idiom  if  ifttt  imagination  immigrantexperience  immigration  imperativelanguages  important  in  incident  income  indicative  industry  inequality  infrastructure  inquisitive  instruction  interface  interop  interpreter  intro  investment  io  issue  javascript  joseph  js  kid  kind:blogpost  kontour  kubernetes  kurtgodel  language  languages  learn  learning  lessons  lifelong  linguistics  literacy  lobby  lobbying  lobbyist  logic  loop  love  low-res  lukaswinklerprins  magic  make  manifesto  map  math  mathematical  matters  maximisation  media  message  metaphysics  middle  millennials  minimal  missing  misuse  mlk’s  mobile  mobility  mock  modula-2  monad  mood  moral  morality  multiparadigm  mutation  mysticism  national  need  neoliberal  neoliberalism  netflix  niall  nicolasbourbaki  no  nodejs  notation  numerology  oberon  object-oriented  object  objectoriented  observation  ocaml  of  oligarchy  online  oop  opensource  optimism  optimization  paas  paasta  paradigm  paradigms  parallel-programming  parallel  parallelism  party  pattern  patterns  perspective  philosophy  phuctran  physics  plato  plutocracy  polarisation  politicians  pollution  populism  presence  presidency  press  principle  principles  procedural  production  profit  programming  programming_language  programminglanguages  progressive  project  proof  proofs  propaganda  prover  provisioning  public  publicity  pull  purity  purpose  push  pwc  python  quality  rate  react  reactive  read  reality  rebellion  recovery  redistribution  reduce  reducer  redux  refugees  regret  reich  remotecontrol  removal  renaissance  report  representation  research  responsibility  resumable  retail  retailers  return  revolving  rich  richard  robert  scandal  screencast  secular  services  shareholder  shell  shoppers  sideeffect  significance  social  society  solis  solutions  sozialer  speed  spirit  spotify  squeezed  stagnation  state  static  stiglitz  still  stores  stowe  street  strong  style  subjunctive  subsidies  subsidizing  summary  super  switch  symbol  syntax  tax  tensorflow  the  theorem  thoughtworks  three  time  timetravel  tip  to  toshare  transfer  transformation  trickle-down  tumblr  tutorial  types  typing  ui  underinvestment  uprising  usa  value  values  verification  versus  video  vietnamese  vision  visual  von  wage  wall  warfare  warrenbuffet  we  web  webapplication  webpack  welfare  wertegesellschaft  while  white-collar  why  wlog  wolff  work  world  yaml  yelp 

Copy this bookmark:



description:


tags: