Lambda the Ultimate

The Programming Languages Weblog
   

Home

Feedback

FAQ

Getting Started

Discussions

Site operation discussions

Recent Posts

(new topic)

Departments

Courses

Research Papers

Design Docs

Quotations

Genealogical Diagrams

Archives

User login



  • Create new account
  • Request new password

Navigation

  • recent posts
arrdem
btbytes
adrieng
Wolf Logan
genneth
Gregory Propf
Christophe de Dinechin
Steven Shaw II
Robbert van Dalen
xieyuheng
jdh30
Cyril
Merv Hammer
j4n bur53
Vesa Karvonen
johnwcowan
Z-Bo
William D. Neumann
Bruno Arias
Guillaume
first page
previous page
next page
last page
Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation

Browse archives

« January 2023  
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Active forum topics

  • What is a type?
  • Basic building blocks of a programming language
  • Rewrite.js – a minimalist s-expr based term rewriting system
  • Programming Languages for a Programmable World (what's on those tablets in Westworld, anyway?)
  • JIT: it's complimicated
more

New forum topics

  • Rewrite.js – a minimalist s-expr based term rewriting system
  • JIT: it's complimicated
  • Pico Scheme (A purely functional subset of scheme)
  • Deallocation patterns and linear types (e.g. Rust)
  • Denominated Values - Part numeric and symbolic.
more

Recent comments

  • What's a type, take #2
    3 days 22 hours ago
  • Why category theory
    1 week 10 hours ago
  • Give it a few days...
    1 week 23 hours ago
  • <Removed>
    1 week 1 day ago
  • Category theory to the rescue?
    1 week 1 day ago
  • natural language is not enough
    3 weeks 2 days ago
  • Interesting
    6 weeks 5 days ago
  • Also see the slide deck
    6 weeks 6 days ago
  • accidental noise removed
    8 weeks 4 days ago
  • natural language or fail
    8 weeks 4 days ago