current let

(setv test

(let [[a 5]
       [b 7]]
  (print a b)))

(print (type test))

current let hy2py

def _hy_anon_fn_1():
    a = 5
    b = 7
    return print(a, b)
test = _hy_anon_fn_1()
print(type(test))

function-less let proposal

(defmacro/g! let! [bindings &rest body]
  `(progn
    ~@(list-comp `(setv ~b ~v) [(, b v) bindings])
    (setv ~g!ret (progn ~@body))
    ~@(list-comp `(del ~b) [(, b v) bindings])
    ~g!ret))

(setv test

(let! [[a 5]
       [b 7]]
  (print a b)))

(print (type test))

let proposal hy2py

from hy.core.language import gensym
import hy
from hy import HyExpression, HySymbol

@hy.macros.macro('let!')
def _hy_anon_fn_2(bindings, *body):

    def _hy_anon_fn_1():
        g!ret = gensym(HySymbol('g!ret')[2:])
        return HyExpression(((((([] + [HySymbol('progn')]) + list([HyExpression(((([] + [HySymbol('setv')]) + [b]) + [v])) for (b, v) in bindings])) + [HyExpression(((([] + [HySymbol('setv')]) + [g!ret]) + [HyExpression((([] + [HySymbol('progn')]) + list(body)))]))]) + list([HyExpression((([] + [HySymbol('del')]) + [b])) for (b, v) in bindings])) + [g!ret]))
    return _hy_anon_fn_1()
a = 5
b = 7
:ret_1235 = print(a, b)
del a
del b
test = :ret_1235
print(type(test))