tenderlang-list-elixir.ex

defmodule TenderList do

  def cons(x, y), do: fn(m) -> m.(x,y) end
  def car(cell), do: cell.(fn(x, _) -> x end)
  def cdr(cell), do: cell.(fn(_, y) -> y end)


  def test do
    list = cons(1, cons(2, cons(3, 4)))
    IO.puts car(list)
    IO.puts car(cdr(list))
    IO.puts car(cdr(cdr(list)))
  end
end

tenderlang-list-haskell.hs

-- https://repl.it/@tmiller/Tenderlang

cons x y = \m -> m x y
car cell = cell $ \x _ -> x
cdr cell = cell $ \_ y -> y

main = do
    putStrLn $ show $ car list
    putStrLn $ show $ car $ cdr list
    putStrLn $ show $ car $ cdr $ cdr list
  where
    list = cons 1 $ cons 2 $ cons 3 4