単射な関数について、その逆関数が標準で用意されてるプログラミング言語とか無いの？

[0001 以下、5ちゃんねるからVIPがお送りします 2022/05/06(金) 23:46:23.591 ID:zChbpoSE0]

？

[0002 以下、5ちゃんねるからVIPがお送りします 2022/05/06(金) 23:47:56.839 ID:ttt3RFrZ0]

matlab

[0003 以下、5ちゃんねるからVIPがお送りします 2022/05/06(金) 23:50:27.524 ID:yVIA82Dj0]

わざわざそれが単射か判断して逆関数まで用意する意味がない

[0004 以下、5ちゃんねるからVIPがお送りします 2022/05/06(金) 23:52:16.636 ID:zChbpoSE0]

>>2
ありがとう
>>3
コンパイル時に求められた逆関数だけ用意すれば済むんじゃないかな

[0005 以下、5ちゃんねるからVIPがお送りします 2022/05/06(金) 23:52:55.129 ID:zChbpoSE0]

求められた逆関数か

[0006 以下、5ちゃんねるからVIPがお送りします 2022/05/06(金) 23:53:37.528 ID:yVIA82Dj0]

>>4
存在の保証はどうするんだ？

[0007 以下、5ちゃんねるからVIPがお送りします 2022/05/06(金) 23:54:38.546 ID:zChbpoSE0]

>>6
単射じゃない関数の逆関数が呼びされてればコンパイルエラーでいいと思う

[0008 以下、5ちゃんねるからVIPがお送りします 2022/05/06(金) 23:59:11.321 ID:zChbpoSE0]

やっぱり単射というか全単射な関数で

[0009 以下、5ちゃんねるからVIPがお送りします 2022/05/07(土) 00:02:48.147 ID:osmOL+DQd]

でも数学の逆関数と違ってプログラミングの逆関数だと関数のスコープ外の変数の影響で、逆関数を使えば逆演算になるとは限らないな
需要が無いから無いんだろうね