Запитання з тегом «type-systems»

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

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

У мене є ці дві маленькі програми: С #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } Java class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else { System.out.println("false"); } } } яке повідомляє про помилку: …

33 java  c  type-systems 

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

33 functional-programming  haskell  language-features  type-systems 

Я прочитав відповідне запитання. Чи існують непотрібні шаблони дизайну в таких динамічних мовах, як Python? і згадав цю цитату на Wikiquote.org Дивовижна річ щодо динамічного набору тексту - це дозволяє висловити все, що можна обчислити. А системи типів не типу типів, як правило, можна вирішити, і вони обмежують вас підмножиною. …

30 design-patterns  python  type-systems  dynamic-typing 

Чи потребуватиме введення нової лямбда-нотації (див., Наприклад, цю статтю ) в Java 8, потрібний певний тип виводу? Якщо так, то як система нового типу вплине на мову Java в цілому?

30 java  type-systems  lambda  java8 

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

29 java  haskell  scala  type-systems  rust 

Здається, що всі нові мови програмування або, принаймні, ті, що стали популярними, використовують умовивід. Навіть Javascript отримав типи та умови виводу, хоча різні реалізації (Acscript, typecript тощо). Мені це здається чудово, але мені цікаво, чи є компроміси чи чому, скажімо, Java або старі добрі мови не мають висновку про тип …

29 programming-languages  type-systems 

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

29 type-systems  generics 

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

28 naming  type-systems  static-typing  hungarian 

При проектуванні і implenting об'єктно-орієнтована мова програмування, в якій - то момент один повинен зробити вибір про реалізацію основних типів (як int, float, doubleабо їх еквіваленти) , як класи або що - то інше. Зрозуміло, що мови в сім'ї С мають тенденцію не визначати їх як класи (Java має спеціальні …

27 object-oriented  language-design  compiler  type-systems 

Я трохи заплутаний у різниці між системами номінального та структурного типу. Може хтось пояснить, чим вони відрізняються? З того, що я розумію: Номінальна: сумісність типу заснована на назві типу. Структурна: сумісність типів заснована на структурі типів, наприклад, у випадку C, якщо 2 змінні - це структури структури з різними іменами, …

24 type-systems 

Примітка. Коли я використовував у заголовку "складний", я маю на увазі, що у виразі є багато операторів і операндів. Не те, що сам вираз складний. Я нещодавно працював над простим компілятором для складання x86-64. Я закінчив головний передній кінець компілятора - лексер і аналізатор - і тепер можу створити абстрактне …

23 language-agnostic  compiler  type-systems  type 

Я читав, що Hindley-Milner не працює з типами систем, які мають підкласи, і є інші функції системи, які також не працюють з цим. Наразі Go має лише дуже обмежений тип висновку в :=операторі. Але у Go немає підкласів у традиційному розумінні, лише інтерфейси, які дуже схожі на типи класів Haskell, …

22 haskell  type-systems  go 

Чи є якісь теоретичні причини для цього (наприклад, перевірка типу чи умовивід типу стане нерозбірливою) або практичні причини (занадто складно їх правильно реалізувати)? Наразі ми можемо обернути речі newtypeподібними newtype Pair a = Pair (a, a) а потім мати Pair :: * -> * але ми не можемо зробити щось …

22 haskell  abstraction  type-systems  lambda 

Коли пояснюється комбінатор 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