The Curse of the Excluded Middle.

The article discusses the need for software developers to seriously consider embracing a pure lazy functional programming with all effects explicitly surfaced in the type system using monads. Topics discussed include a single global state as an unacceptable bottleneck in a parallel/concurrent/distri...

Descripción completa

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 57; no. 6; pp. 50 - 56
Autor principal: MEIJER, ERIK
Formato: Artículo
Publicado: Association for Computing Machinery Jun2014
Materias:
Acceso en línea:Ver este registro en EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=96208164&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 96208164
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00010782
        ACM
      jtl: Communications of the ACM
      issn: 00010782
      maglogo: N
    pubinfo:
      dt: Jun2014
      vid: 57
      iid: 6
      pid: 68
      pub: Association for Computing Machinery
    artinfo:
      ui:
        96208164
        10.1145/2605176
      ppf: 50
      ppct: 6
      formats:
      tig:
        atl: The Curse of the Excluded Middle.
      aug:
        au: MEIJER, ERIK
        affil:
          Founder, Applied Duality, Inc.
          Professor, Cloud Programming, TU Delft
      su:
        Computer software development
        Functional programming languages
        Debugging
        Imperative programming
        Programming languages
        Computer programmers
      sug:
        subj:
          Computer software development
          Functional programming languages
          Debugging
          Imperative programming
          Programming languages
          Computer programmers
      ab: The article discusses the need for software developers to seriously consider embracing a pure lazy functional programming with all effects explicitly surfaced in the type system using monads. Topics discussed include a single global state as an unacceptable bottleneck in a parallel/concurrent/distributed world, a method that traces the return value of printf debugging style to the console, and a diagram that illustrates the Erlang version of the mutable Cell program through a tail-recursive function cell to hold the state of the Cell.
      pubtype: Periodical
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      dt:
        @attributes:
          year: 2014
    holdings:
      @attributes:
        islocal: N