Pull to refresh
26
ApeCoder@ApeCoder

Разработчик

6
Subscribers
Send message
Плюнь на карму, что не так-то?

Кстати, www.infoq.com/news/2016/01/VS-64-bit
Они не говорили что не будут писать свою IDE. Они говорили, что не будут слезать с вижуал студии, так как там куча всякого для поддержки технологий MS. То есть для того, чтобы противоречить своим словам им надо было прекратить поддержку VS а не начать поддерживать не-VS.

Насколько я понял новая IDE нужна для поддержки той части микрософтовского стека, которая кроссплатформенна (фактически сам язык, может Katana) — всякие там WPF и UWP не поддерживаются и, судя по интервью, не планируются. (В противном случае им пришлось бы безжать на перегонки с о студией а не сидеть на ней сверзху в этом вопросе).

Сейчас скорее всего он конкурируют с VS code в каком-то смысле.

Интересно также зачем им отдельная IDE а не Resharper-for-IDEA (наверное маркетинг?)
>> В Windows похуже (нету виртуальных рабочих столов).

уже есть ( http://www.howtogeek.com/197625/how-to-use-virtual-desktops-in-windows-10/ )
Я так понял, что вы получаете больше показов платя меньше, но, так как внимание пользователя ограничено, кто-то получает меньше показов платя больше — не так ли?
Наверное, это зависит от задачи. И компании.
Недавно послушал подкаст про товарища, которому с командой дали задание переколбасить проект на полтора миллиона строк кода на C++. Оно не собиралось (прежняя команда обладала знаниями, как это сделать, они собирали каждый на своей машине на которой набор папок был подмеплен в Perforce по-своему и пересылались бинарниками). Прежнюю команду к тому времени уволили. Он описывал процесс как fun.
>>>строить в голове согласованные абстракции высоких порядков и крутить их

Мне кажется, в создании абстракций, это творчество.
Если методы хорошо называть, то помнить не надо. Пишешь код, как будто он и так есть — раз, а он и так есть. А если нет создаешь :)
Я имел ввиду, что автор Лесков писал про очарованного странника, а автор Лисков — про полиморфизм :)
Мне лень читать комментарии начинающиеся со слов «Мне лень читать комментарии», но меня раздражают комментарии, начинающиеся со слов «Мне лень читать комментарии», потому, что часто основная ценность статьи — это провокация на комментарии.
Да фиг знает. Мне кажется, всякие code contracts приближают к этому. Еще вспомните что linq это монада, только Эрик Маер все переименовал для понятности массовыми кодерами.

Т.к. я на самом деле на знаю всех тонкостей ЗТ, то не могу сказать с уверенностью, но мне кажется, что результат будет примерно такой, что программер будет на доступном ему уровне чуть побольше описывать про типы данных, а компайлер будет на это интеллектуально ругаться.
1) Как вы понимаете сообщение которое выдал вам Haskell? Что он вам сказал?
2) Разница в целевой аудитории и в проработанности для нее.
3) Что не работает?
А что тот тип, который внутри себя приписывает редактор переменной по тайпхинту может быть изменен в рантайме?
Поискал в википедии — там типизация == проверка статус сообщений о нарушении правил не указан

Исходный коммент был про «подобие» типизации. Я лично нахожу в статической проверке типов отличающийся только статусом сообщения много подобия :)
Где «угадать тип» == типизация, а «без выполнения» == статическая
Если есть формальные правила аннотации, то согласен.

Information

Rating
Does not participate
Location
Россия
Date of birth
Registered
Activity