Запитання з тегом «static-typing»

Я почав кодувати в Python насамперед там, де немає безпеки типу, потім перейшов до C # та Java, де є. Я виявив, що можу працювати трохи швидше і з меншими головними болями в Python, але знову ж таки, мої додатки на C # та Java знаходяться на значно більшому рівні …

108 data-types  dynamic-typing  static-typing  type-safety 

Я вже кілька днів використовую python, і я думаю, що розумію різницю між динамічним та статичним типізацією. Я не розумію, за яких обставин було б кращим. Він гнучкий і читабельний, але за рахунок більшої кількості перевірок виконання та додаткових необхідних тестових одиниць. Окрім нефункціональних критеріїв, таких як гнучкість та читаність, …

91 dynamic-typing  static-typing 

Пояснюючи різницю між строгістю мов та парадигмами моєму колезі, я підсумував твердження, що: Толерантні мови, такі як динамічні та інтерпретовані мови, найкраще використовуються для прототипів та малих проектів або веб-додатків середнього розміру. Вибираючи елегантні динамічні мови, такі як Python або JavaScript з Node.js, перевагами є: Швидкий розвиток, Скорочений код котла, …

72 programming-languages  dynamic-typing  language-choice  static-typing  static-analysis 

Чи існують дослідження, проведені щодо ефективності мов, що стаціонарно проти динамічно набраних? Зокрема: Вимірювання продуктивності програміста Ставка дефекту Також включаючи наслідки того, застосовується чи ні одиничне тестування. Я бачив багато обговорень достоїнств будь-якої сторони, але мені цікаво, чи хтось провів дослідження з цього приводу.

69 productivity  comparison  type-systems  dynamic-typing  static-typing 

Я усвідомлюю, що деякі речі легші / складніші в одній мові, ніж інші, але мене цікавлять лише функції, пов'язані з типом, які можливі в одній, а в іншій неможливі / неактуальні. Щоб зробити його більш конкретним, давайте ігноруємо розширення типу Haskell, оскільки там так багато, що роблять усілякі шалені / …

66 java  haskell  type-systems  static-typing 

Моя основна мова введена статично (Java). У Java вам потрібно повернути один тип із кожного методу. Наприклад, у вас не може бути методу, який умовно повертає a Stringабо умовно повертає Integer. Але в JavaScript, наприклад, це дуже можливо. Статично набраною мовою я розумію, чому це погана ідея. Якщо кожен метод …

65 javascript  dynamic-typing  static-typing 

Чому це нормально і в основному очікується: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... поки це не нормально, і ніхто не скаржиться: concrete type Name : string { } concrete type Index : int { …

53 type-systems  static-typing  strong-typing 

Отже, я працюю в .Net. Я роблю проекти з відкритим кодом у .Net. Однією з моїх найбільших проблем із цим є не необхідність з .Net, а спільнота та рамки навколо неї. Всюди здається, що магічні схеми іменування і рядки трактуються як найкращий спосіб зробити все. Сміливе твердження, але подивіться на …

47 c#  .net  asp.net-mvc  static-typing  xaml 

Я помітив, що станом на PHP5 до мови додано інтерфейси. Однак, оскільки PHP настільки слабко набраний, здається, що більшість переваг використання інтерфейсів втрачається. Чому це включено в мову?

35 php  object-oriented  interfaces  static-typing  duck-typing 

Я прочитав кілька статей в Інтернеті про вибір мови програмування на підприємстві. Останнім часом популярними стали багато динамічних набраних мов, наприклад Ruby, Python, PHP та Erlang. Але багато підприємств все ще залишаються зі статичними мовами типу C, C ++, C # та Java. І так, однією з переваг статичних мов …

35 programming-languages  dynamic-typing  static-typing  type-systems 

По-перше, я хочу сказати, що Java є єдиною мовою, яку я коли-небудь використовував, тому, будь ласка, вибачте моє незнання з цього приводу. Динамічно набрані мови дозволяють вводити будь-яке значення в будь-яку змінну. Так, наприклад, ви можете написати таку функцію (psuedocode): void makeItBark(dog){ dog.bark(); } І ви можете передавати всередині нього …

29 languages  dynamic-typing  static-typing 

Закрито . Це питання ґрунтується на думці . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закрито 4 роки тому . У статті Еріка Ліпперта Що відбувається з угорською нотацією? , він заявляє, що метою …

28 naming  type-systems  static-typing  hungarian 

Чи є якісь основні архітектурні відмінності при розробці програм, які будуть побудовані на статичних мовах (таких як C # або Java) та динамічних мовах (таких як Ruby або Python)? Які дизайнерські можливості можуть бути хорошим вибором для одного типу, який поганий для іншого? Чи є якісь корисні функції, досяжні з …

22 design  architecture  dynamic-typing  static-typing 

Коли пояснюється комбінатор Y в контексті Haskell, зазвичай зазначається, що пряма реалізація не перевірить тип в Haskell через його рекурсивного типу. Наприклад, з Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a = a -> b). Defining …

21 haskell  type-systems  static-typing  ocaml 

Це запитання було перенесено із переповнення стека, оскільки на нього можна відповісти на Exchange Stack Exchange. Мігрували 8 років тому . Я бачив інших розробників, які використовують статичні класи як простори імен public static class CategoryA { public class Item1 { public void DoSomething() { } } public class Item2 …

21 c#  c++  object-oriented  static-typing  namespace