Vitsliputsli

Computer science - все таки это наука, т.е. более область академических исследований, а не computer programming. Вики на это намекает так "Computer science is generally considered an area of academic research and distinct from computer programming".
Дело не в том, что это какое-то знание, которое нужно или не нужно. Это иная сфера работы. Т.е. если ты формируешь и обучаешь модель для бизнеса с помощью CatBoost, ты занимаешься computer programming. А если ты пишешь сам CatBoost или вообще изобретаешь градиентный бустинг, то ты занимаешься computer science.

Чем отличается сервисно-ориентированная разработка от доменно-ориентированной?

Первое это архитектура, а второе методология проектирования. Первая требует построение архитектуры на основе независимых сервисов, вторая рассказывает как эффективнее работать с предметной областью.
Т.е. совсем разные вещи.

Я понимаю что нужно запомнить как допустим пишется слово "while" или "for" в Python
Но мне нужно заучивать функции из модулей ?

Не заучивайте синтаксис, оставьте память для важных вещей, синтаксис всегда можно подсмотреть. Вы должны знать что есть циклы и ветвления, но как они пишутся в конкретном языке вы запомните после многократного использования или незапомните, если не так уж и нужно. Запоминайте действительно важные вещи, которые нельзя посмотреть, к примеру, что ошибки нужно обрабатывать через выбрасывание исключений и их обработку, а уже далее спросить как, можно и у Гугла. Исходите из того, что все уже реализовано до нас и достаточно правильно написать запрос Гуглу. Это не отменяет чтение документации, но ее нужно изучать, а не зубрить.

Столько всего написали, и только один человек отметил, что не стоит путать сильную (в неправильном переводе "строгая") типизацию со статической.
В PHP динамическая типизация, это преимущество данного языка, т.к. не нужно писать дополнительный код для обработки разных типов. В PHP даже нет классической перегрузки, т.к. она там попросту не нужна. Но динамическая типизация в PHP ни разу не отменяет возможности работать с типами, и хороший программист так и делает.
Статически типизированные языки делятся на языки с сильной типизацией, например Java, и слабой типизацией, например Си. Сильная типизация это преимущество Java, как уже писали это облегчает отлов ошибок. Слабая типизация это преимущество Си, т.к. позволяет более гибко работать с данными, что повышает производительность.
Т.е. для каждого языка своя типизация в зависимости от направления этого языка, а все восторги у тех, кто не понимает что нет "серебренной пули", универсального решения на все случаи жизни, и всегда приобретая, чем-то жертвуешь. Заметьте, как много писали про компилятор и сильную типизацию, но по факту, интерпретирующий язык Java использует сильную типизацию, а компилирующий язык Си использует слабую типизацию.