доброго времени суток
хочется странного. есть замечательная статья (ссылку к сожалению сходу не нагуглил), сводящая scheme к лямбда-исчислению - выражая одни операции через другие, и так до трёх базовых (а рекурсию посредством Y-комбинатора). есть ли такое же для каких-нибудь не-Чёрчевских языков (того же C, или BASIC, или кто там у нас попроще)?
и, в общем случае, как системы типов исходного/результирующего языка влияют на трансляцию? что сложнее - усиливать типизацию при трансляции (C -> Haskell, например), или ослаблять (C -> Tcl), если желаемым результатом является эквивалентная исходной программа?
заранее спасибо. вот
