а какими они должны быть?

Типа рекорд с полями context и version
Но я решил пока отложить рекорды, а то чет вывод типов сложноватый.

Кстати, как думаешь какой тип у text должен тут вывестись?

(defn show [ env text ]
  (.show 
    (android.widget.Toast/makeText env.context text 0)))

(defn show [ env text ]
  (.show 
    (android.widget.Toast/makeText env.context text 0)))

ну вроде CharSequence

А если так 😏

static Toast makeText(Context context, CharSequence text, int duration) { ...
static Toast makeText(Context context, int resId, int duration) { ...

static Toast makeText(Context context, CharSequence text, int duration) { ...
static Toast makeText(Context context, int resId, int duration) { ...

int | CharSequence

ненавижу перегрузки

@themishkun А вот так? (типы для foo и bar?) 😈

(defn show [ foo bar ]
  (.show 
    (android.widget.Toast/makeText foo bar)))

static Toast makeText(String a, int    b) { ...
static Toast makeText(int    a, String b) { ...
static Toast makeText(String a, String b) { ...

По этому для неоднозначных кейсов думаю добавить синтаксис типа

(defn show [ foo bar ]
  (.show 
    (android.widget.Toast/makeText:String:int foo bar)))

(лишние типы можно опускать /makeText::int или /makeText:String:)

(defn show [ foo bar ]
  (.show 
    (android.widget.Toast/makeText:String:int foo bar)))

fun toast(StringRes)

sealed class StringRes {
 class Raw(String) : StringRes()
 class Res(Int, Any[]) : StringRes()
}

Предлагаешь обертки писать? Я хочу плавный и однозначный интеров в java

Что это у вас, господа?)

Игорь пытается рулить ондроедом из самопального языка, потому что удобное ФП туда никто пока так и не завёз)

Clojure должен пахать как родной

Вон у @happy_bracket пока даже скала не пашет. Кроме того, возможно, что кложура - не тру.

Есть ощущение, что Игорю хочется типов. Но тут он лучше пусть сам свою мотивацию рассказывает.

Ахах, весело))
Эх, мне бы столько свободного времени (

My thoughts exactly. Но тут скорее не во времени дело, а в душевных силах. Наверное если основная работа скучная - оно так получается...

Жиза.

К сожалению, у кложи слишком плохой startup-time для ведра. Году в 2016 чувак даже форкнул компилятор и добавлял туда android-specific оптимизации, но всё потом затихло