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

Ця вимога по Aleks Бромфілд говорить: Практично кожна мова зі системою статичного типу також має систему динамічного типу. Крім C, я не можу придумати винятку Це поважна претензія? Я розумію, що за допомогою рефлексії або завантаження класів під час виконання Java стає дещо подібним - але чи може ця ідея …

20 languages  dynamic-typing  static-typing 

Прихильники функціональних мов програмування стверджують, що функціональне програмування полегшує міркування про код. Ті, хто підтримує статично набрані мови, говорять, що їх компілятори виявляють достатню кількість помилок, щоб компенсувати додаткову складність систем типу. Але все, що я читав на ці теми, ґрунтується на раціональному аргументі, а не на емпіричних даних. Чи …

19 functional-programming  comparison  dynamic-typing  static-typing  imperative-languages 

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

18 programming-languages  static-typing  static-analysis 

Я щойно спостерігав за цим розмовою Даніеля Співака, де він розповідає про переваги структурного набору тексту порівняно з номінальним типізацією Scala і Java . Одним із прикладів такої різниці може бути наступний код Java public interface Foo { public int length(); } public interface Bar { public int length(); } …

15 java  scala  type-systems  static-typing 

Optionalкорисний очевидним чином у мові статичного типу, але мені цікаво, чи корисно це також у динамічних мовах. Зазвичай немає компілятора, який би сказав вам: "Ей, ви використовували це Optional<String>як String", тому вам все одно доведеться виявляти свої помилки під час виконання. У мене є статичне тло набору тексту, і з …

14 dynamic-typing  static-typing 

Я великий фанат перевірки статичного типу. Це заважає вам робити такі дурні помилки: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Але це не заважає вам робити такі дурні помилки: Adult a = new Adult(); // obviously you've mixed up …

13 business-logic  static-typing  type-safety 

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

13 web-development  dynamic-typing  static-typing 

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

12 agile  dynamic-typing  static-typing 

Цікавившись на головній сторінці сайту мови програмування сценаріїв, я зіткнувся з цим уривком: Коли система стає занадто великою, щоб тримати її в голові, ви можете додавати статичні типи. Це змусило мене пам’ятати, що в багатьох релігійних війнах між статичними, складеними мовами (на зразок Java) та динамічними, інтерпретованими мовами (головним чином, …

9 programming-languages  dynamic-typing  static-typing 

Так, задаються подібні запитання, але завжди з метою з'ясувати, "хто з них краще". Я запитую, тому що я придумав, як розробник, в першу чергу в JavaScript, і насправді не маю великого досвіду написання статично набраних мов. Незважаючи на це, я, безумовно, бачу цінність у навчанні С для обробки складних операцій …

9 dynamic-typing  static-typing 

Перевага динамічного та статичного введення в основному є питанням смаку, і різні люди вважають їх більш-менш придатними в різних ситуаціях. Моє запитання: чи технічно можливо створити статично типову альтернативу JavaScript для розширення веб-сторінок на стороні клієнта тощо?

9 javascript  scripting  dynamic-typing  static-typing  jit