Daniel P. Friedman - Daniel P. Friedman

Daniel Paul Friedman (nascido em 1944) é professor de Ciência da Computação na Indiana University em Bloomington, Indiana . Sua pesquisa se concentra em linguagens de programação , e ele é um autor de destaque na área.

Com David Wise, Friedman escreveu um artigo altamente influente sobre programação preguiçosa , especificamente sobre streams lazy ( ICALP 1976). O artigo, intitulado "Os contras não devem avaliar seus argumentos", é uma das primeiras publicações que buscam a exploração de um estilo de programação com estruturas de dados potencialmente infinitas e uma forma de programação que não emprega efeitos computacionais (embora os programas possam divergir). Na década de 1970, Friedman e Wise exploraram o tópico em profundidade e também consideraram extensões para o mundo da computação paralela.

Na década de 1980, Friedman voltou-se para o estudo da linguagem de programação Scheme . Ele explorou o uso de macros para definir linguagens de programação; com Eugene Kohlbecker, Matthias Felleisen e Bruce Duba, ele co-introduziu a noção de macros higiênicas em um artigo LFP de 1986 que ainda é amplamente citado hoje. Com Christopher T. Haynes e Mitchell Wand, ele estudou simultaneamente a natureza dos objetos de continuação , seus usos e as possibilidades de restringi-los. Em seguida, Friedman e Felleisen introduziram um cálculo lambda com continuações e operadores de controle . Seu trabalho gerou trabalho sobre semântica, conexões entre lógica clássica e computação e extensões práticas de continuações.

Friedman também é um autor prolífico de livros didáticos. Seu primeiro livro, The Little LISPer , data de 1974 e ainda está sendo impresso em sua quarta edição, agora chamada de The Little Schemer (com Felleisen). Friedman e Felleisen escreveram mais três "pequenos" livros na década de 1990: The Little MLer , The Seasoned Schemer e A Little Java , A Few Patterns .

Friedman também é o autor principal de Essentials of Programming Languages , um livro-texto sobre linguagens de programação. Como tal, mudou o panorama dos livros didáticos de línguas na década de 1980, mudando o foco de pesquisas de línguas para o estudo de princípios por meio de uma série de intérpretes. Os livros didáticos de hoje sobre esse tópico tendem a seguir essa organização, empregando semântica operacional e teoria de tipo em vez de intérpretes. Como The Little LISPer , Essentials of Programming Languages é um livro antigo e está em sua terceira edição agora.

Mais recentemente, Friedman retomou o trabalho em sua série "Little" com The Reasoned Schemer (com William E. Byrd e Oleg Kiselyov), explicando a programação lógica por meio de uma extensão de Scheme, e com The Little Prover (com Carl Eastlund), apresentando provas indutivas como uma forma de determinar fatos sobre programas de computador.

Referências

Livros

Daniel P. Friedman é o autor ou co-autor dos seguintes livros:

• The Little Lisper ISBN   0-262-56038-0
• The Little Schemer ISBN   0-262-56099-2
• The Little MLer ISBN   0-262-56114-X
• A Little Java, A Few Patterns ISBN   0-262-56115-8
• The Seasoned Schemer ISBN   0-262-56100-X
• The Reasoned Schemer ISBN   0-262-56214-6
• The Little Prover ISBN   0-262-52795-2
• Essentials of Programming Languages ISBN   0-262-06217-8
• Esquema e a arte da programação ISBN   0-262-19288-8
• Computação coordenada: ferramentas e técnicas para software distribuído ISBN   0-07-022439-0
• The Little Typer ISBN   9780262536431

links externos

• Página inicial de Daniel P. Friedman
• A página inicial do The Little Schemer
• Os contras não devem avaliar seus argumentos, a versão do relatório técnico
• Página da DanFest, a celebração acadêmica do 60º aniversário de Friedman em 2004
  • "Dan Friedman - Cool Ideas" , palestra de Guy Steele no DanFest revisando o trabalho de Friedman