rafaeldff + languages   22

Propositions as Types
"Propositions as Types" by @PhilipWadler is a real gem and its last sentence is just brilliant. Go, read it!
article  paper  PhilipWadler  Wadler  toread  PLT  programming  language  languages  Curry-Howard 
april 2014 by rafaeldff
Bell Labs and CSP Threads
This page is a slice of the history of concurrent programming, focusing on one particular lineage of Hoare's language of communicating sequential processes (CSP) [1] [1a]. Concurrent programming in this style is interesting for reasons not of efficiency but of clarity. That is, it is a widespread mistake to think only of concurrent programming as a means to increase performance, e.g., to overlap disk I/O requests, to reduce latency by prefetching results to expected queries, or to take advantage of multiple processors. Such advantages are important but not relevant to this discussion. After all, they can be realized in other styles, such as asynchronous event-driven programming. Instead, we are interested in concurrent programming because it provides a natural abstraction that can make some programs much simpler.
CSP  Hoare  C.A.R.Hoare  PiCalculus  concurrency  concurrent  programming  thread  theading  threads  Inferno  Plan9  Aleph  Squeak  Newsqueak  DougMcIlroy  Pan  Promela  Alef  Limbo  Libthread  Go  GoogleGo  language  languages  systems  SystemsProgramming  RobPike  history  BellLabs 
april 2012 by rafaeldff
The Big Mud Puddle: Why Concatenative Programming Matters
There doesn’t seem to be a good tutorial out there for concatenative programming, so I figured I’d write one, inspired by the classic “Why Functional Programming Matters” by John Hughes. With any luck it will get more people interested in the topic, and give me a URL to hand people when they ask what the heck I’m so excited about.
Concatenative  programming  language  languages  ManfredVonThun  JonPurdy  PointFree  blog  post  article  introduction  overview  composition  compose  function 
february 2012 by rafaeldff
Index of /~rwh/plbook
Robert Harper's programming languages book.
book  online  free  BobHarper  RobertHarper  programming  language  languages  PL  PLT  pdf 
march 2011 by rafaeldff
ivan krstić · code culture » Languages and security: a short reading list
"OLPC security guru (and ocasional eLearning polemist) Ivan Kristic posts a reading list with papers relating to security and programming languages. Accompanied by a humorous description of the PL/sec research landscape"
IvanKrstić  security  programming  language  languages  research  sec  PL  PLT  capabilities  capability  model  E  ELanguage  caja  paper  papers  list  catalog  recommendation  reading 
march 2009 by rafaeldff
MF Bliki: GroovyOrJRuby
Martin Fowler's verdict on the state of scripting languages running on the JVM.
blog  post  MartinFowler  Ruby  JRuby  Groovy  Java  JVM  language  languages  dynamic  scripting  Jython 
november 2007 by rafaeldff
David Rupp's Blog: The Last Language War / Language Trolling Post You'll Ever Need To Read (Hopefully)
A dialog (actually a "conference panel") between Java, Ruby, Erlang, Lisp, Haskell and ML Pretty funny, don't forget to check out the comments for more laughs.
blog  post  funny  DavidRupp  humor  PL  programming  language  languages  satire  advocacy  dialog 
october 2007 by rafaeldff
Room 101: Constructors Considered Harmful
A few shortcomings of constructors and metaclasses followed by a quick proposal for a better alternative. More to come in a paper Gilad is writing for ECOOP.
blog  post  GiladBracha  OO  language  languages  instance  creation  constructor  metaclass  constructors  metaclasses  Smalltalk  Java  Scala  DependencyInjection  factory  factories 
june 2007 by rafaeldff
languages: netbeans.org : Languages
Short intro for Project Schliemann. It adds multi-language support for NetBeans. (from this tutorial it seems that simple things are simple, I hope that it is also true that complex things are possible :)
tutorial  introduction  NetBeans  plugin  module  language  languages  definition  grammar  lexer  parser  IDE  generic  framework  infrastructure  Schliemann  ProjectSchliemann  Hanz  JanHanzJancura  JanJancura 
march 2007 by rafaeldff
Graeme Rocher's Blog: JRuby, Groovy & Java Integration
Ultimate Programming Language Deathmatch! Ruby, the gem from Japan, on one corner. On the other, the one and only Groooooy language! The gloves are off and everything goes, from semantic blows to syntactic attacks, even Lisp-comparisons are thrown in the
blog  post  language  debate  Groovy  Ruby  JRuby  scripting  DynamicTyping  languages  JVM  Grails  Rails 
march 2007 by rafaeldff
Ray tracer language comparison
Performance and LOC shootout with a handful of programming languages (C++, OCaml, Java, Scheme, ...) and compilers.
benchmark  3d  comparison  language  languages  performance  FP  functional  programming  Scheme  OCaml  c++  java  SML  Lisp  ML 
june 2006 by rafaeldff

related tags

3d  adoption  advocacy  Alef  Aleph  AmericanScientist  apache  architecture  article  BellLabs  benchmark  blog  BobHarper  book  BrianHayes  brown  c++  C.A.R.Hoare  caching  caja  capabilities  capability  catalog  code  coffescript  communication  comparison  compendium  compiler  compilers  compose  composition  computerscience  Concatenative  concurrency  concurrent  constructor  constructors  creation  cs  CSP  Curry-Howard  dart  DavidRupp  debate  declarative  definition  DependencyInjection  development  dialog  Dijkstra  DougMcIlroy  dynamic  DynamicTyping  E  ELanguage  example  examples  facebook  factories  factory  FP  framework  free  function  functional  functionalprogramming  funny  geek  generic  GiladBracha  Go  GoogleGo  Grails  grammar  Groovy  Hanz  haskell  history  Hoare  humor  ibm  IDE  imperative  Inferno  infrastructure  innovation  instance  interpreter  intro  introduction  IvanKrstić  JamesMNeighbors  JamesNeighbors  JanHanzJancura  JanJancura  java  JonPurdy  JRuby  JVM  Jython  KenShirriff  lamp  language  languages  lexer  libraries  library  Libthread  Limbo  linux  lisp  list  logic  ManfredVonThun  market  MartinFowler  Meijer  meta  metaclass  metaclasses  metacompiler  metacompilers  ML  model  module  money  MySQL  NetBeans  Newsqueak  ObjectCapabilities  ObjectCapability  OCaml  OCAP  OMeta  online  OO  overview  Pan  paper  papers  parser  pdf  performance  PhilipWadler  php  PiCalculus  pl  Plan9  plt  plugin  PointFree  post  program  programming  programs  ProjectSchliemann  Promela  protocol  python  Rails  rational  reading  recommendation  reference  research  RobertHarper  RobPike  Ruby  RyanTomayko  sample  samples  satire  Scala  scalability  schema  scheme  Schliemann  science  scripting  sec  security  ShriramKrishnamurthi  Smalltalk  SML  snippet  snippets  software  source  Squeak  standard  standards  study  systems  SystemsProgramming  textbook  theading  TheChangeFunction  theory  theoty  thread  threads  toread  tutorial  Wadler  web  webdev  WilliamCook  xml 

Copy this bookmark:



description:


tags: