Join the discussion

Write your take first — we'll ask for email only when you're ready to publish.

  • Hacker News
  • I'm a retard so I'm gonna call it Half Life.
  • how do i search for a character i can't even type?

    are people in this field just able to jump into Greek mode?

  • I am curious why develop a new language instead of building a library for an existing language. What are the benefits as I didn't see this in the paper? Can it interact with other languages?
  • The second λ is subscripted. As footnote 1 in the paper says:

    > Pronounced “lambda lambda”. One λ refers to the λ-calculus and the other refers to an optical wavelength.

  • Full syntax of λλ (from the paper):

       e ::= v | x | input(p) 
       | let x = e1 in e2
       | (e1, e2)
       | unpack e1 as (x1, x2) in e2
       | phase(θ, e)
       | split(r, e)
       | unitary(U, (e1, e2))
       | output(p) <- e1; e2
       v ::= r ↓ ℝ | p ↓ Port | U ↓ Unitary | ()
       τ ::= ℝ | Port | Opt | Unitary | Unit |(τ1 * τ2)

Explore Birbla archives

λλ: A Programming Language for Silicon Photonics · Birbla