TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #gusdurian
@gusduriannet · Post #1672 · 07.08.2019 г., 00:58
@gerdusuroboyo - Apa saja sih yang akan dipelajari di KPG? Mimin punya bocorannya nih! Yuk pada segera daftarkan diri ikut KPG Surabaya. Jangan sampai ketinggalan guys. . . #gusdur #Gusdurian #menujuKPGgerdu
Hashtags
@gusduriannet · Post #1594 · 19.05.2019 г., 03:38
@jaringangusdurian - Selamat Hari Waisak 2563 BE bagi tuips yang merayakan. Semoga hati kita makin suci dari segala amarah dan benci. Mari menebar kebajikan kepada sesama. Semua makhluk hidup bahagia. #Waisak . . #Gusdur #Gusdurian #JaringanGusdurian
@gusduriannet · Post #2356 · 04.10.2020 г., 02:29
Halo Temen-temen Jogja! Kabar Gembira yang ditunggu-tunggu sudah rilis nih. Sebagai upaya memahami dan menginternalisasi gagasan dan pemikiran Gus Dur, Komunitas Santri Gus Dur Jogja membuka kembali kesempatan bagi generasi muda untuk mengikuti Kelas Pemikiran Gus Dur (KPG) Jogja ke #8 yang kali ini akan dilaksanakan secara "Online" dengan 3 rangkaian kegiatan yaitu "Kelas Pemikiran, Kelas Menulis dan Kelas Media Sosial." Cara pendaftarannya gampang guys, Langsung klik saja link https://tinyurl.com/KPGDaringJogja Yuk daftarkan diri kalian ya teman-teman, tanggal-tanggal pentingnya juga harus dicatat. Gratis, terbuka untuk umum dan kuota terbatas! Info lebih lengkap hubungi CP : 0858-6654-0007 (Nu'un) dan 0858-2661-7215 (Roni). Twitter : @santriGD IG : @santrigusdur FB : Santri Gus Dur Telegram : Santri Gus Dur Web : Santrigusdur.com #kpg8jogja #SantriGusDur #GUSDURian #gusdur
@gusduriannet · Post #1932 · 25.02.2020 г., 02:50
Hallo!!! *Festival Kampung #5* Kali ini tim acara festival kampung bekerjasama dengan Masjid Baitul Hikmah Gondolayu Lor mengadakan Nobar dan Tahlil bersama. Film yang akan diputar adalah film tanda tanya "?" So, Jangan Lupa Hadir dan menjadi salah satu bagian dari peringatan Haul Gus Dur Kali ini yak😊 yang akan dilaksanakan pada : 🏘 Masjid Baitul Hikmah Gondolayu Lor 🕑19.30 WIB 📅 Selasa, 25 Februari 2020 . . Catat tanggal nya dan jangan Lupa hadir ajak teman kalian sebanyak-banyaknya #SatuDekadeGusDur#FestivalKampung #Gusdurian #TandaTanya
@gusduriannet · Post #1914 · 31.01.2020 г., 08:57
*Ziarah Pemikiran Gus Dur #3* Rangkaian kali ini akan membedah buku Gus Dur berjudul *"Gus Dur Menjawab Perubahan Zaman"*. Gus Dur sebagai cendekiawan tidak bisa dilepaskan dari rasa kemanusiaan. Dalam buku ini, Gus Dur menjawab beragam isu agama dan negara yang sangat relevan untuk dijadikan wacana solusi perubahan zaman. Diskusi beda buku akan dilaksanakan pada: Hari : Sabtu,1 Februari 2020. Pukul : 15.00 - Selesai Lokasi : Gedung Santi Sasana, Pura Jagadnatha. Narasumber acara: 1. Savic Ali (Founder Islami.co) 2. I Nyoman Santiawan (Pengurus Parisada Hindu Dharma Indonesia DIY) Acara ini akan dimoderatori oleh Misni Parjiati (Aktivis Srikandi Lintas Iman) Silakan datang dan ajak teman terbaikmu. Kita belajar gagasan Gus Dur dan saling tukar pikiran. #SatuDekadeGusDur #Gusdurian #ZiarahPemikiranGusDur #PuraJagadnatha
@gusduriannet · Post #2401 · 23.10.2020 г., 07:02
@gusdurian_pasuruan Kelas Pemikiran Gus Dur #3 Pasuruan Online ada perubahan waktu pelaksanaan! Sebagai upaya memahami dan menginternalisasi gagasan dan pemikiran Gus Dur, Komunitas Gitu Saja Kok Repot GUSDURian Pasuruan membuka kembali kesempatan bagi generasi muda untuk mengikuti Kelas Pemikiran Gus Dur (KPG) Pasuruan ke #3 yang kali ini akan dilaksanakan secara "Online" dengan 3 rangkaian kegiatan yaitu, diantaranya: - Kelas Pemikiran, - Kelas Menulis dan - Kelas Media Sosial. yang pastinya teman-teman bersedia mengikuti seluruh rangkain KPG selama 3 bulan. Cara pendaftarannya gampang guys, Langsung klik saja link dibawah ini https://tinyurl.com/kpgpasuruan3 Yuk daftarkan diri kalian ya teman-teman, tanggal-tanggal pentingnya juga harus dicatat. Gratis, terbuka untuk umum dan kuota terbatas! Info lebih lengkap hubungi CP : 087761222116 (Cici) 081357055633 (Lukman) FB : KGSKR Gusdurian Pasuruan IG : @Gusdurian_Pasuruan Twitter : @GUSDURian_Pas #KPG3Pasuruan #KGSKRGusdurianPasuruan #JaringanGusdurian #GUSDURian #gusdur
@gusduriannet · Post #2360 · 05.10.2020 г., 08:14
 Halo Temen-temen Pasuruan! Kabar Gembira yang ditunggu-tunggu sudah datang nih. Sebagai upaya memahami dan menginternalisasi gagasan dan pemikiran Gus Dur, Komunitas Gitu Saja Kok Repot GUSDURian Pasuruan membuka kembali kesempatan bagi generasi muda untuk mengikuti Kelas Pemikiran Gus Dur (KPG) Pasuruan ke #3 yang kali ini akan dilaksanakan secara "Online" dengan 3 rangkaian kegiatan yaitu, diantaranya: - Kelas Pemikiran, - Kelas Menulis dan - Kelas Media Sosial. yang pastinya teman-teman bersedia mengikuti seluruh rangkain KPG . Cara pendaftarannya gampang guys, Langsung klik saja link dibawah ini https://tinyurl.com/kpgpasuruan3 Yuk daftarkan diri kalian ya teman-teman, tanggal-tanggal pentingnya juga harus dicatat. Gratis, terbuka untuk umum dan kuota terbatas! Info lebih lengkap hubungi CP : 087761222116 (Cici) 081357055633 (Lukman) FB : KGSKR Gusdurian Pasuruan IG : @Gusdurian_Pasuruan Twitter : @GUSDURian_Pas #KPG3Pasuruan #KGSKRGusdurianPasuruan #JaringanGusdurian #GUSDURian #gusdur
@gusduriannet · Post #2313 · 13.09.2020 г., 18:16
*Khusus Anak Muda di Gorontalo* Hallo man-teman. pendaftaran KPG segera ditutup loh. Bagi yg blm mendaftar, masih ada kesempatan. Jangan lupa, mengirim tulisan tentang Gus Dur dan Motivasi mengikuti pelatihan ini. *Baca Syarat & ketentuan lihat disini:* https://bit.ly/3b7N9Ga *Link pendaftaran:* https://tinyurl.com/KPGGorontalo Narahubung: +62 813 1428 5370 (Heri) +62 853-4214-2414 (Alifah) #KPGIIGorontalo#KPG#GUSDURian#GUSDURianGorontalo
@gusduriannet · Post #2481 · 20.12.2020 г., 01:19
Menulis Cerita TUNAS 2020 Tuliskan kisahmu tentang TUNAS 2020 sepanjang 700-1000 kata. Tulisan yang dimuat gusdurian.net akan mendapatkan souvenir. Jangan simpan kisahmu sendirian. Bagikan kisahmu kepada teman-teman GUSDURian seluruh Indonesia. Tulisanmu akan dibaca sampai ribuan pembaca. Tulisan akan dimuat periode 20-31 Desember 2020. Kirim kisahmu ke email: [email protected] dengan subjek #KisahTunas #Tunas2020 #Gusduriandotnet #Gusdurian
@gusduriannet · Post #1904 · 19.01.2020 г., 04:26
Kaos Haul Gus Dur 2019 Gusdurian Sumenep punya produk baru nih, gaes: kaos murah, mewah dan merakyat. Bahan: catton combed 30s Warna: hijau botol Ukuran yg tersedia: S: 46 x 69 M: 48,5 x 71,5 L: 51 x 74 XL: 53,5 x 76 XXL: 56 x 79 Harga: - Lengan pendek: S - XL: Rp85.000,- XXL: Rp90.000,- -Lengan panjang: S - XL: Rp90.000,- XXL: Rp95.000,- Batas pemesana: 25 Januari 2020 Pemesanan melalui WA/telepon ke: 085257025294 Kaos dapat diambil/dikirim sejak 07 Februari 2020 Pemesan akan dicatat setelah melakukan pembayaran. Pembayaran bisa dilakukan via cash atau bank ke nomor: 8124-01-007386-53-0 an. Zaynollah. Selanjutnya mengkonfirmasi dengan mengirimkan bukti transfer ke nomor yg tertera di poster. O ya, harga belum termasuk ongkir, yes.. 😉 Info lebih lanjut: 085257025294 #haulgusdur2019 #1dekadehaulgusdur #gusdurian #gusduriansumenep
@gusduriannet · Post #1920 · 18.02.2020 г., 13:45
Ziarah Pemikiran Gus Dur Acara bedah buku "Sang Kosmopolit" karya Hairus Salim yang dibedah Alissa Wahid dan Dr. Zuly Qodir. Acara ini dimoderatori oleh Anfasul Marom. Bagi teman-teman yang belum bisa hadir silakan datang ke acara-acara kita selanjutnya. Acara ini merupakan kerjasama Santri Gus Dur dengan ISAIS UIN Sunan Kalijaga. #Gusdurian #SatuDekadeGusDur #ZiarahPemikiranGusDur #UINSunanKalijaga #Isais
@gusduriannet · Post #2521 · 05.03.2021 г., 10:33
Zine BERAGAM merupakan kumpulan pikiran, ikhtiar, dan harapan. Terbit setiap bulan dengan merangkum esai, opini, infografis, sketsa, dan humor. Beragam dinisiasi oleh penggerak Komunitas GUSDURian Makassar sebagai medium mengarsipkan dan menyebarluaskan narasi kecil dan pinggiran tentang kesetaraan, keadilan, dan kemanusiaan. Beragam juga bagian dari upaya melanjutkan nilai, pemikiran, dan keteladanan Gus Dur. BERAGAM VOL. 1 dengan tema "Gus Dur Sehari-hari" kini bisa diakses secara gratis di https://issuu.com/gusdurianmks/docs/beragam__1 Selamat membaca gengs! #beragam#zineberagam#gusdur#gusdurian#gusdurianmakassar#jaringangusdurian