Câu hỏi được gắn thẻ «type-safety»

Tôi bắt đầu viết mã bằng Python chủ yếu ở nơi không có loại an toàn, sau đó chuyển sang C # và Java ở đó. Tôi thấy rằng tôi có thể làm việc nhanh hơn một chút và ít đau đầu hơn với Python, nhưng một lần nữa, các …

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

Tôi đã cố gắng nghĩ ra một cách tuyên bố các kiểu gõ mạnh, để bắt một loại lỗi nhất định trong giai đoạn biên dịch. Đó thường là trường hợp tôi nhập một int vào một số loại id hoặc một vectơ đến vị trí hoặc vận tốc: typedef …

49 c++  c++11  type-safety 

Trong JavaScript: The Good Parts của Douglas Crockford, ông đề cập đến trong chương thừa kế của mình, Lợi ích khác của kế thừa cổ điển là nó bao gồm đặc điểm kỹ thuật của một hệ thống các loại. Điều này chủ yếu giải phóng lập trình viên khỏi …

47 type-systems  type-safety 

Điều này xuất hiện trong một cuộc thảo luận với một người bạn và tôi thấy mình thật khó khăn để nghĩ ra bất kỳ lý lẽ tốt nào. Những lợi ích nào khi gõ yếu confer?

40 type-systems  type-safety  weak-typing 

Tại sao họ nói rằng XML cung cấp an toàn kiểu và nó được thể hiện như thế nào trong chính XML? Làm thế nào nó khác với JSON (ví dụ) mà (theo tôi hiểu) không phải là loại an toàn?

30 xml  type-safety 

Giả sử tôi muốn viết một thư viện liên quan đến vectơ và ma trận. Có thể nướng các kích thước thành các loại, để các hoạt động của kích thước không tương thích tạo ra lỗi tại thời gian biên dịch không? Ví dụ, tôi muốn chữ ký của …

20 haskell  type-systems  type-safety 

Trong một dự án gần đây tôi đang thực hiện, tôi đã phải sử dụng rất nhiều chức năng giống như thế này: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int …

17 c++  type-systems  data-types  type-safety 

trang này http://golang.org/doc/go_faq.html viết: mặc dù Go có các kiểu tĩnh, ngôn ngữ cố gắng làm cho các loại cảm thấy trọng lượng nhẹ hơn so với các ngôn ngữ OO thông thường Vì vậy, câu hỏi của tôi là chính xác là nó được gõ một cách an toàn …

14 programming-languages  algorithms  google  go  type-safety 

Tôi là một fan hâm mộ của kiểm tra loại tĩnh. Nó ngăn bạn khỏi những sai lầm ngu ngốc như thế này: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Nhưng nó không ngăn bạn mắc những sai lầm …

13 business-logic  static-typing  type-safety 

Nếu tôi sử dụng một un kín traithoặc abstract classtrong Scala và sau đó sử dụng mô hình phù hợp, tôi tự hỏi, không trình biên dịch không biết tại thời gian biên dịch cho patternmatch đặc biệt này những gì thực hiện khác nhau của đặc điểm này / …

10 scala  type-safety  trait  pattern-matching 

Có công việc nào phù hợp với việc thiếu Generics của PHP cho phép kiểm tra mã tĩnh để phát hiện tính nhất quán của loại không? Tôi có một lớp trừu tượng, tôi muốn lớp con và cũng thực thi rằng một trong các phương thức thay đổi từ …

9 inheritance  class  type-safety 

Hãy xem xét mã C này: #include <stdio.h> main() { int x=5; printf("x is "); printf("%d",5); } Trong phần này, khi chúng tôi viết, int x=5;chúng tôi đã nói với máy tính đó xlà một số nguyên. Máy tính phải nhớ đó xlà một số nguyên. Nhưng khi chúng ta …

8 c  io  type-safety