Rekayasa Perangkat Lunak

Saya baru mulai belajar Haskell, setelah datang dari dunia JavaScript / Ruby. Saya telah menemukan https://github.com/HoTT dan buku Teori Tipe Homotopy , yang sangat ingin saya baca. Namun, saya akan belajar konsep teori matematika dan tipe saat saya pergi, jadi sepertinya akan butuh waktu lama sebelum saya mengerti apa arti …

11 type-theory 

Kami sedang mengembangkan dua sistem terkait. Salah satunya (A) akan dipasang di mesin pelanggan kami. Sisanya (B) akan digunakan oleh organisasi saya. Setiap sistem memiliki database sendiri (relasional) dan skema mereka berbeda. Namun, kedua sistem harus disinkronkan. Selain itu, beberapa perubahan dalam B harus diekspor ke semua sistem kelas A …

11 architecture  data  synchronization 

Saya baru-baru ini membaca Membaca Kebijakan Privasi yang Anda Hadapi dalam Satu Tahun Akan Membawa 76 Hari Kerja dan cukup terkejut bahwa itu seburuk itu. Jadi saya berpikir bagaimana ini bisa diperbaiki. Lisensi Creative Commons bagus, karena bersifat modular: CC: Menunjukkan bahwa itu adalah lisensi creative commons [-BY]: Atribusi [-NC]: …

11 legal  privacy 

Saya berasal dari latar belakang C ++ dan saya akan keluar C # dalam pekerjaan saya saat ini dan saya baru saja membaca banyak T&J tentang apa perbedaan antara bidang publik dan properti dan semua bolak-balik dalam variasi dan inkarnasi dari ini pertanyaan dasar (mis. posting SO ini dan semua …

11 object-oriented  programming-languages  properties 

Saat mengembangkan aplikasi ASP.NET MVC yang memungkinkan model diperbarui, Anda perlu beberapa cara untuk mengetahui cara mengambil model tampilan yang diperbarui dan mencocokkannya kembali dengan model yang sekarang diperbarui. Tampaknya ada beberapa cara berbeda untuk melakukan ini dan saya bertanya-tanya apakah ada di antara ini yang tidak sesuai dengan MVC …

11 mvc  asp.net-mvc 

Saya memiliki apa yang saya sebut pertanyaan filosofis tentang λ-calculus. Ketika Anda menjelajahi λ-calculus, Anda akan terkejut melihat semua hal yang dapat Anda lakukan di sana. Anda dapat mendefinisikan bilangan bulat, operasi aritmatika, boolean, pernyataan if-then-else, loop, fungsi rekursif, dll. Saya percaya ini telah terbukti komputasional lengkap. Tetapi di sisi …

11 computer-science  lambda-calculus 

Saya tahu bahwa pemilik produk harus menulis kisah pengguna dalam scrum. Kisah pengguna menggambarkan fitur untuk pengguna akhir. Tetapi siapa yang menggambarkan apa yang perlu dikembangkan secara teknis dan bagaimana itu perlu diimplementasikan dan di mana informasi itu disimpan mengenai scrum? Itu benar-benar menarik minat saya! Saya melihat kurangnya pengetahuan …

11 scrum 

Saya menemukan NoStackTracemixin untuk Pengecualian dalam scala. Apakah praktik yang baik untuk menggunakannya, atau haruskah dianggap "internal" untuk scala dan dibiarkan sendiri?

11 exceptions  scala 

Saya seorang mahasiswa tahun ketiga dalam program rekayasa perangkat lunak, dan saya membawa gagasan membaca SICP kepada seorang penasihat untuk mendapatkan pemahaman yang lebih dalam dan lebih mendasar tentang prinsip-prinsip di balik semua perangkat lunak yang kami rekayasa ini. Dia menyarankan untuk tidak mempelajari Skema untuk menyelesaikan buku (karena itu …

11 clojure  scheme  sicp 

Coding tidak sulit sebenarnya . Bagian yang sulit adalah menulis kode yang masuk akal, dapat dibaca dan dimengerti. Jadi saya ingin mendapatkan pengembang yang lebih baik dan membuat arsitektur yang solid. Jadi saya ingin membuat arsitektur untuk NPC dalam video-game. Ini adalah game Strategi Realtime seperti Starcraft, Age of Empires, …

11 c#  architecture  multiple-inheritance 

Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 5 tahun yang lalu . Ada 2 argumen untuk memiliki pustaka bersama: Ini membantu mengurangi ruang disk. Ketika …

11 c  compiler 

Saya mencoba mencari tahu seperti apa struktur data yang digunakan untuk memodelkan beberapa penggunaan jaringan hipotetis dan ideal. Dalam skenario saya, sejumlah pengguna yang bermusuhan satu sama lain semua mencoba membentuk jaringan komputer di mana semua koneksi potensial diketahui. Komputer yang perlu disambungkan satu pengguna mungkin tidak sama dengan komputer …

11 data-structures  graph 

Saya mulai dengan SVN dan banyak sumber mengatakan bahwa penggabungan sangat sulit di SVN dibandingkan dengan alat DVCS. The sebagian besar pertanyaan terakhir saya bisa menemukan di sini pada SE adalah dari 2012. Terkadang ada disebutkan bahwa alasannya adalah bahwa SVN sebelum v1.5 tidak memiliki metadata, tetapi SVN ada di …

11 version-control  svn  merging 

Saya baru saja memperhatikan bahwa namespace FSharp.Core termasuk tipe array generik hingga 4 dimensi, yaitu Core. [] <'T> , Core. [,] <' T>, dll. C # dan VB tampaknya baik-baik saja. dengan System.Array - meskipun tidak jelas bagi saya bagaimana mereka mengelola untuk mendukung tipe array khusus yang diketik dengan …

11 c#  .net  f# 

Saya telah terlibat dalam membantu melakukan dukungan untuk proyek open source selama satu atau dua tahun sekarang, dan proyek ini telah mendapatkan banyak popularitas sejak saya mulai. Program ini melihat lebih dari 100.000 unduhan per minggu, dan digunakan oleh lebih dari 60% orang di bidang utamanya, jadi kami jelas senang …

11 open-source  project-management