# Make infix functions safe to be applied to nullable receivers **URL:** \ **Category:** Language Design\ **Created:** [June 12, 2019, 12:45pm UTC](https://discuss.kotlinlang.org/t/make-infix-functions-safe-to-be-applied-to-nullable-receivers/13059 "2019-06-12T12:45:38Z")\ **Posts on this page:** 6\ **Page:** 1
**Author:** ![leandronunes85](https://avatars.discourse-cdn.com/v4/letter/l/b77776/32.png) [@leandronunes85](https://discuss.kotlinlang.org/u/leandronunes85)\ **Post date:** [June 12, 2019, 12:45pm UTC](https://discuss.kotlinlang.org/t/make-infix-functions-safe-to-be-applied-to-nullable-receivers/13059/1 "2019-06-12T12:45:38Z")
Take the following (dummy) function as an example: ```auto fun toPairOrNull(a: A?, b: B) : Pair? = if (a != null) a to b else null ``` One could argue that another way to write it could be: ```auto fun toPairOrNull(a: A?, b: B) : Pair? = a?.to(b) ``` I was wondering if there any plans for Kotlin to automatically support applying inline functions (like `Pair`’s `to`) to nullable receivers? From the user point of view I think the syntax should follow the “Safe” cast operator. Something like: ```auto fun toPairOrNull(a: A?, b: B) : Pair? = a to? b ``` (appending a question mark to the infix function name would make it “Safe” - like in the `as` case). Thoughts? ---
**Author:** ![Jonathan.Haas](https://avatars.discourse-cdn.com/v4/letter/j/c68b51/32.png) [@Jonathan.Haas](https://discuss.kotlinlang.org/u/Jonathan.Haas)\ **Post date:** [June 12, 2019, 2:53pm UTC](https://discuss.kotlinlang.org/t/make-infix-functions-safe-to-be-applied-to-nullable-receivers/13059/2 "2019-06-12T14:53:17Z")
Inventing a new syntax to replace `x?.foo(y)` with `x foo? y` doesn’t really seem like it’s worth it. Every new syntax has to be learned by all Kotlin programmers, has to be supported in the IDEs and compiler(s) and so on. I would argue that even infix functions aren’t really necessary and could have been left out. But they make sense as replacement for operators. But having a special syntax for infix functions that return null if the left operand is null isn’t really necessary. You could theoretically write a function ```auto infix fun A?.to_(b: B) = this?.to(b) ``` and you could write `x to_ y` instead of your `x to? y`. Doesn’t really seem to be worth it, though. ---
**Author:** ![leandronunes85](https://avatars.discourse-cdn.com/v4/letter/l/b77776/32.png) [@leandronunes85](https://discuss.kotlinlang.org/u/leandronunes85)\ **Post date:** [June 12, 2019, 3:29pm UTC](https://discuss.kotlinlang.org/t/make-infix-functions-safe-to-be-applied-to-nullable-receivers/13059/3 "2019-06-12T15:29:09Z")
Thanks for your input @Jonathan.Haas! I understand (and agree) that this functionality isn’t necessary but, as you said, neither were the infix functions and still, they made it to the language. The point I’m trying to make is that, since we already have infix functions and things like the “Safe cast operator” perhaps it wouldn’t be that farfetched to add something like what I proposed. One major upside of that would be that this solution would be universal so it would be understood by everyone (passed the point where they learned it in the first time). This would save each us from writing their own “alternative” solutions (like using underscores to indicate nullability) that would differ from developer to developer. I’m still uncertain that this would make sense for every use of infix functions though. I can certainly see a stronger case for functions (like Kotlin’s own `public infix fun A.to(that: B): Pair`) that are meant to be used using the infix notation: one could certainly write `"leandro".to("nunes")` but I don’t think anyone does. I know that such a feature would take a lot of effort to be supported (and I simply see it as a nice-to-have). Thanks again! Leandro ---
**Author:** ![Jonathan.Haas](https://avatars.discourse-cdn.com/v4/letter/j/c68b51/32.png) [@Jonathan.Haas](https://discuss.kotlinlang.org/u/Jonathan.Haas)\ **Post date:** [June 12, 2019, 3:57pm UTC](https://discuss.kotlinlang.org/t/make-infix-functions-safe-to-be-applied-to-nullable-receivers/13059/4 "2019-06-12T15:57:05Z")
Another reason why your proposal might be a bad idea is that an infix function is supposed to look like both operands have the same priority. Why would `x to? y` return null when x is null, but not when y is null? With `x?.to(y)` it’s obvious with the question mark, that the case that x is null is handled specifically because of the `x?`. ---
**Author:** ![pdvrieze](https://sea1.discourse-cdn.com/flex019/user_avatar/discuss.kotlinlang.org/pdvrieze/32/1882_2.png) [@pdvrieze](https://discuss.kotlinlang.org/u/pdvrieze)\ **Post date:** [June 13, 2019, 2:40am UTC](https://discuss.kotlinlang.org/t/make-infix-functions-safe-to-be-applied-to-nullable-receivers/13059/5 "2019-06-13T02:40:14Z")
In addition, there is nothing that stops you from writing an infix function that accepts a null receiver (and handles it in some appropriate way) ---
**Author:** ![fatjoe79](https://sea1.discourse-cdn.com/flex019/user_avatar/discuss.kotlinlang.org/fatjoe79/32/4221_2.png) [@fatjoe79](https://discuss.kotlinlang.org/u/fatjoe79)\ **Post date:** [June 13, 2019, 5:13am UTC](https://discuss.kotlinlang.org/t/make-infix-functions-safe-to-be-applied-to-nullable-receivers/13059/6 "2019-06-13T05:13:07Z")
Also the ? in the operator as? has slightly different meaning in Kotlin, hence it would introduce an inconsistency.