Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области.
Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него.
"Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!"
Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее.
Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то.
С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше.
Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс.
В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков.
#dev
A detailed watercolor painting of a serene winter forest scene
A detailed watercolor painting of a serene winter forest scene. Tall, slender pine trees with textured bark stand gracefully, their branches heavily laden with fresh, white snow. The snow covers the forest floor, creating a smooth, undisturbed blanket. Soft, diffuse light filters through the trees, casting a gentle glow that highlights the delicate snowflakes and the subtle variations in the icy landscape. The background reveals more snow-covered trees fading into a misty, pale sky, evoking a peaceful and quiet winter day. The scene captures the tranquility and beauty of a snow-covered woodland, with a delicate balance of light, shadow, and texture.
#StableDiffusion
Beauty of a cute Soviet girl at cozy room posing freedom
dreamlike, Beauty of a cute Soviet girl at cozy room posing freedom, blonde long hair, (by Savrasov and Monet:1.2), abstract estetic, (shy:1.1) light smile, love, breast, (cinematic posing closeup:1.2), light blue and emerald palette, extremely detailed, flower and heart shape
#StableDiffusion
Young woman sitting at the edge of balcony
speed painting by hand an visual sunny vibe of punk happiness, big border brushstroke, big brushstroke, close up half-body, bliss, night city high, young Russian woman sitting at the edge of balcony, dark moon background, realistic skin texture, starry night, looking at camera, light smiling, attractive and sexy, summer sunlights, breast, photorealistic, long flowing brown hair, dreamlike light incidence, white sparkles sunlight beams, on a violet canvas,, giving them a radiant and romantic aura, cinematic and film grain in style of 80's, Soviet style, Iranian style, (by Rutkowski and painting by ilya Repin, in style Oil painting:1.2)
#StableDiffusion
Young Russian woman laying on the long grass and flowers in the sun
dreamlike paint, allegory style, (art style by Casey Baugh:1.1), close up half-body, bliss, summer sunset, young Russian woman laying on the long grass and flowers in the sun, violet and blue flowers glowing background, realistic skin texture, closed eyes, smiling, attractive and sexy, autumn sunlights, breast, photorealistc, creative commons attribution, long flowing brown hair, dreamlike light incidence, white sparkles sunlight beams, on a yellow canva, often described as flame-like, digital art, (watercolours paint:0.9), neon vibe
#StableDiffusion
A half-body model-shot
half-body model-shot, a close up of a Russian cute woman with ginger hair and a soft pink lipstick, reflective deep eyes, breast, dramatic light on face, sunrise light, summer smile, a beautiful teen-aged girl, shadow-play, connectedness, with very thin lips,pale - skinned, surrender, super beauty 4k photo
#StableDiffusion
A fox-woman in a blue outfit
cute (russian:1.2) fox-woman in a blue outfit posing on fantasy black dark room, fantasy, Ahri, trending on artistation, cold lighting, photo taken of an epic intricate, cute furry, asuna yuuki, frostbite, inspired by Guan Daosheng, casino, fairy cgsociety
#StableDiffusion
A portrait redhair woman posing in the forest with flowers
closeup the teen (Triss Marigold:1.3) portrait redhair woman posing in the forest with flowers, magically effects, shy smile, the witcher fantasy theme, sun and shadow play, the magician, magically dissolving, lovely gaze, extravagant sexy undress, seducing eyes, official print, (romantically old classic photo, photorealistic, film grain:1.2)
#StableDiffusion
Woman with a hood on in the snow
woman with a hood on in the snow, beautiful blueish eyes, photoreal, cgsociety, looks like young Mexican, skyrim snowstorm, gaze, (freckles on the nose:0.3), brunette fairy woman, ian callum, piercing clear eyes, guard, hidden, rogue, mistborn, beautiful faces aesthetic, nephilim, texturing rich hood
#StableDiffusion
A classical portrait of a young woman
A classical portrait of a young woman with fair skin and light brown hair styled in an elegant updo. She has a calm and confident expression, with subtle makeup and soft features. She is wearing a large, elaborate ruffled white collar around her neck, typical of 17th-century fashion, and a black dress with a high neckline. She also has a delicate gold chain necklace visible just above the collar. The background is dark and plain, emphasizing her face and attire. The painting has realistic detail and soft lighting, showcasing a refined and noble appearance.
#StableDiffusion
A cute russian girl removes the fox mask and opened face
cute russian girl removes the fox mask and opened face, highly detailed saturated, the demonic masquerade, silhouette-shaped, dream background, kabuki mask, furry character portrait, intricate detailed dress, cute face, clean image, <lora:hand 5.5:1>, dreamlike paint, allegory style, (style by Henry Asencio:1.2), detailed, glowing, the atmosphere of art, poetry as a symbol of happiness,
#StableDiffusion