TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #721 · 26.12
Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev
Hashtags
Търсене: #gusdur
@gusduriannet · Post #1701 · 23.08.2019 г., 13:48
Yuk jadikan twibon ini sebagai bentuk solidaritas dan dukungan kita kepada saudara-saudara kita yang ada di Papua. #PapuaAdalahKita https://twibbon.com/support/papua-adalah-kita Perdamaian Tanpa Keadilan Adalah Ilusi. #GusDur
Hashtags
@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 #2577 · 04.08.2021 г., 08:52
Menandai 2 Tahun #GusdurianPeduli di hari kelahiran #GusDur 4 Agustus tepat hari ini, Saksikan SAMBUNG RASA #SalingJaga Menuju Indonesia Pulih Bincang Santai Seputar Aksi Kemanusiaan Jaringan Gusdurian melalui Gerakan #HumanityforAll selama ini. Menghadirkan Alissa Wahid, A'ak Abdullah Al Kudus, Inaya Wahid Robert Bayonet, Erik Priyanto Menampilkan ELSAKKA BAND. Rabu, 4 Agustus 2021 19.30 - 21.30 WIB LIVE TV9 NUSANTARA https://youtu.be/RXvPax1SZ7I Anda bisa saksikan di berbagai channel streaming media sosial TV9 Nusantara.
@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 #2393 · 21.10.2020 г., 01:37
📚 TADARUS PEMIKIRAN GUSDURian Ciputat Eps. 3📚 _Assalamualaikum wr. wb. Shalom. Salam Sejahtera. Om Swastyastu. Namo Buddhaya. Salam Kebajikan_ *GUSDURian Ciputat* mempersembahkan: . *"Tadarus Pemikiran Gus Dur , Demokrasi Haruslah diperjuangkan "*. Tidak sedikit orang maupun kelompok yang mengatasnamakan agama, menentang keras sistem demokrasi yang dianggap sistem kafir, bukan sistem yang diajarkan oleh islam. Tetapi disisi lain, Gus Dur tokoh yang sangat dihormati dan dikagumi diberbagai lapisan masyarakat, malah memperjuangkan sistem demokrasi mati-matian di Indonesia ini. Bahkan beliau dianggap dan diangkat sebagai bapak Demokrasi Indonesia. Apa sih sebenarnya yang melatarbelakangi Gus Dur mempertahankan sistem demokrasi di Indonesia? Itulah tema yang akan kita bahas kali ini. So, ayo sama-sama kita buka pikiran dan gagasan untuk menyatukan pandangan dan pemahaman, mengupas tuntas sistem demokrasi yang kita jalankan di Indonesia ini. Moderator: - *Fitri Rahmayati* _(Penggerak GUSDURian Ciputat)_ *Pemantik* - *Subhi Azhari* _(Fellowship Akademi Kepemimpinan Gus Dur)_ - *Muizudin* _(Penggerak GUSDURian Ciputat)_ Moderator *Fitri Rahmayati* Tadarus pemikiran ini akan dilaksanakan pada: 📝Hari/Tanggal : Rabu, 21 Oktober 2020 ⏱️Jam : 20.00 - 22.00 WIB Diskusi:Via Zoom Meeting Link Pendaftaran: http://bit.ly/TadarusCiputat03 Bahan bacaan https://gusdurian.net/demokrasi-harus-diperjuangkan/ Contact Person : Rafi Sihabudin 📱 0856-9509-2642 Silahkan hubungi CP untuk informasi lebih lanjut. _Wassalamualaikum warahmatullahi wabarakatuh_ #TadarusPemikiran#GusDur#Demokrasi#AbdurrahmanWahid
@gusduriannet · Post #1861 · 16.12.2019 г., 03:36
Berpulangnya Gus Dur ke Haribaan Tuhan YME meninggalkan duka mendalam bagi bangsa Indonesia. Sosok Gus Dur begitu berpengaruh tidak hanya bagi umat muslim, melainkan juga bagi semua umat beragama di Tanah Air yang menjunjung tinggi nilai-nilai toleransi, keadilan, dan kemanusiaan. Demi mengenang jasa-jasa Gus Dur semasa hidupnya, rekan-rekan lintas agama dan kepercayaan akan mengadakan peringatan Haul Gus Dur ke-10 dengan tema "Tadarus Budaya: Melestarikan Budaya untuk Kemanusian" pada: Hari, tanggal: Minggu, 22 Desember 2019 Waktu: Pk. 18.30-22.00 WIB Tempat: Rumah Dinas Walikota Semarang Jln. Abdul Rahman Saleh, Semarang Acara ini dimeriahkan oleh pertunjukan seni budaya lintas agama dan kepercayaan. Kami mengundang rekan-rekan untuk hadir dalam peringatan Haul Gus Dur ke-10. Narahubung : Ajid +62 895-4225-45686 “Gus Dur tidak pergi, ia hanya pulang dan Gus Dur telah memberikan teladan, tinggal kita yang meneruskan.” - Alissa Wahid #HaulGusDur #HaulGusDurSemarang #Haul10GusDurSemarang #GusDur
@gusduriannet · Post #1569 · 16.05.2019 г., 07:09
Bahagialah jika anda adalah warga Surabaya !! Yuk, ikuti acara Nonton bareng dan Diskusi Film " Jack " Sebuah film yg memotret peradaban pergaulan di Surabaya. Film yg baru akan di putar serentak pada 16 Mei 2019 ini adalah sebuah film yg segar, sarat dengan nilai nilai ke bhinekaan dengan di bungkus dialog yg bercampur ala "jowo" Suroboyoan dan lokasi shooting di kota Surabaya akan membuat kita mampu memotret secara cepat bgm orang Surabaya bergaul dan berkomunikasi. Anda tinggal di Surabaya ? Atau bahkan anda orang Surabaya ? Maka wajib tonton film ini ... ASFN dengan di dukung oleh - GEMA Indonesia - Gema INTI - Jaringan Gusdurian Surabaya (Gerdu Suroboyo) menyelenggarakan acara nonton bareng,diskusi dan buka bersama pada Jumat, 17 Mei 2019 Mulai 12.00 s/d 17.00 Di Ciputra World SBY Diskusi akan menghadirkan a.Inaya Wahid Jaringan Gusdurian, putri Bungsu Gus dur yang juga akan di temani oleh b.Kuncarsono Prasetyo, Suroboyo Mbois b. Aan Anshori, Gusdurian Jombang dan Aktivis Jiad Indonesia Biaya : patungan Rp.150.000, / orang Include ; a.1 tiket masuk nobar b. Ikut acara diskusi c. Sumbang 1 tiket nonton gratis untuk pelajar SMU/SMK d. Paket bukber Ayo ajak teman teman dan keluarga di acara yg menghibur, mendidik sambil ber amal ini, komplit 3in1 Hubungi ; Yuska Harimurti Gerdu Suroboyo di 081 331789006 Atau Liza Kusuma 081 9333 91971 @jaringangusdurian @inayawahid #jaringangusdurian#gusdur #gerdusruoboyo#forum17an#forum17angerdu
@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
@gusduriannet · Post #2381 · 17.10.2020 г., 02:13
📚* Kajian Gus Dur Madiun Eps. 1*📚 Assalamualaikum wr. wb. Shalom. Salam Sejahtera. Om Swastyastu. Namo Buddhaya. Salam Kebajikan GUSDURian Madiun mempersembahkan *Kajian Gus Dur Madiun* Kajian Gus Dur ini merupakan ruang sharing gagasan dan pemikiran Gus Dur melalui Tulisan Gus Dur yang dikemas menjadi Kajian Gus Dur Rutinan. pada Kajian Bulan ini kami akan mengangkat tema: *"Kebijakan Harus Bijaksana"* Apa ada kebijakan yang tidak bijaksana selama ini? Apakah Gus Dur tidak mengada-ada dengan judul di atas? Apakah selama ini kebijakan yang kita “anggap” bijaksana itu benar-benar “bijaksana”? apakah dengan bongkar paksa warga kota dibantaran sungai di Jakarta adalah bentuk suatu kebijaksanaan? Belum lagi bermunculan banyak aturan-aturan yang tak jelas apakah itu suatu bentuk kebijaksanaan? Menarik bukan? Nah untuk kamu yang pengen tau lebih lanjut soal pembahasaan ini, yuk ikuti *Kajian Gus Dur Madiun*. Diskusi kita kali ini akan ditemani 2 orang pemantik yang kece abis loo.. siapa saja mereka? 📌📌📌*Pemantik*📌📌📌 🎙️*Marleni Adiya* (Fellowship Akademi Kepemimpinan Gus Dur) 🎙️*Muzaini* (Penggerak GUSDURian Madiun) *🎙️Moderator🎙️* *Ulil Abshor* (Penggerak GUSDURian Madiun) *Kajian ini akan dilaksanakan pada* 📝*Hari/Tanggal : Senin, 19 Oktober 2020* ⏱️*Jam : 19.00-21.00 WIB* 🖥️*Diskusi: Via Zoom Meeting *💻💻 Jangan lupa dicatat dan daftarkan diri anda di bawah ini ya *Link Pendaftaran:* https://tinyurl.com/kajiangdmadiun Jangan lupa sebelum berdiskusi pastikan diri kamu sudah membaca tulisannya ya, yang belum baca bisa klik link di bawah ini ya. Semua murid semua guru, sooo… tunggu apalagi mari saling bertukar gagasan. *bahan bacaan* https://gusdurian.net/kebijakan-harus-bijaksana-2/ Contact Person Zein 📱 089 951 783 92 Silahkan hubungi CP untuk informasi lebih lanjut. Wassalamualaikum warahmatullahi wabarakatuh #Kajian#GusDur#Kebijakan#Bijaksana#AbdurrahmanWahid