Это любимая фишка Идриса, кстати. Понатыкаешь в него typed holes, а он секунд двадцать поскрежечет и говорит такой тебе: "Не могу унифицировать foo bar (baz -> xyzzy) Bool и foo bar (baz -> xyzzy) Bool." И ведь не врет, не может. Но и объяснить по-человечески не может.
На .NET такое бывает с разными версиями библиотек. Типа, если у меня один List[T] из MyCompany.MyLib version 1.0, а второй - из MyCompany.MyLib version 2.0, то компилятор ругается именно так, и пойди пойми чего эта чугунка хочет. Но здесь, видимо, просто глюки.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2015-10-19 05:35 pm (UTC)foo bar (baz -> xyzzy) Boolиfoo bar (baz -> xyzzy) Bool." И ведь не врет, не может. Но и объяснить по-человечески не может.no subject
Date: 2015-10-19 07:05 pm (UTC)no subject
Date: 2015-10-19 07:25 pm (UTC)no subject
Date: 2015-10-19 07:26 pm (UTC)no subject
Date: 2015-10-19 09:22 pm (UTC)no subject
Date: 2015-10-20 04:02 am (UTC)no subject
Date: 2015-10-20 04:16 am (UTC)no subject
Date: 2015-10-20 04:20 am (UTC)no subject
Date: 2015-10-20 04:34 am (UTC)no subject
Date: 2015-10-20 04:32 am (UTC)Я бы все-таки начинал со Scala Play! и Docker. Опыты, так хоть со вкусом.
no subject
Date: 2015-10-20 04:33 am (UTC)no subject
Date: 2015-10-20 01:33 pm (UTC)