Lập trình

Có thể tôi đang thiếu một cái gì đó, nhưng tôi muốn biết liệu có lý do chính đáng tại sao mã này nên biên dịch không role L { method do-l (Int, Int --> Int ) { ... } } class A does L { method do-l (Int $a, …

8 raku 

Tôi đang cố gắng chứng minh tính kết hợp của các danh sách cấp độ theo cách cho phép tôi chuyển đổi giữa các loại tương đương mà không mang theo bất kỳ ràng buộc nào. Giả sử định nghĩa chuẩn của phép nối: type family (++) (xs :: [k]) …

8 haskell  types 

Các mẫu lớp trong ::stdkhông gian tên thường có thể được các chương trình dành riêng cho các kiểu do người dùng định nghĩa. Tôi không tìm thấy bất kỳ ngoại lệ cho quy tắc này cho std::allocator. Vì vậy, tôi có được phép chuyên môn hóa std::allocatorcho các loại …

8 c++  c++17  allocator 

Tôi đang làm việc trên một thư viện giúp giao dịch các loại phù hợp với kích thước con trỏ int trên các ranh giới FFI. Giả sử tôi có một cấu trúc như thế này: use std::mem::{size_of, align_of}; struct PaddingDemo { data: u8, force_pad: [usize; 0] } assert_eq!(size_of::<PaddingDemo>(), size_of::<usize>()); …

8 rust  initialization  undefined-behavior  unsafe 

Tôi đang sử dụng WSO2 làm Nhà cung cấp nhận dạng (IDP). Nó đang đặt JWT trong một tiêu đề gọi là "Xác nhận X-JWT". Để cung cấp điều này vào hệ thống ASP.NET Core, tôi đã thêm một OnMessageReceivedsự kiện. Điều này cho phép tôi đặt tokengiá trị được …

8 c#  asp.net-core  .net-core  asp.net-core-3.1 

Tiêu chuẩn nói: Một deque là một thùng chứa trình tự hỗ trợ các vòng lặp truy cập ngẫu nhiên (27.2.7). Ngoài ra, nó hỗ trợ các hoạt động chèn và xóa thời gian liên tục ở đầu hoặc cuối; chèn và xóa ở giữa mất thời gian tuyến tính. …

8 c++  time-complexity  language-lawyer  complexity-theory  deque 

Tôi đến từ C ++ và tìm thấy một hành vi rất khác nhau giữa các con trỏ trong C ++ và C #. Tôi ngạc nhiên thấy mã này biên dịch ... Và thậm chí ... Hoạt động hoàn hảo. class C { private readonly int x = 0; …

8 c#  c++  pointers  language-lawyer  readonly-attribute 

Tôi đang nghiên cứu về siêu dữ liệu của Ruby. Tôi đọc câu trả lời này trong đó nó được mô tả độc đáo metaclass là gì. Nó được hiển thị ở đó khi một lớp được tạo, nó sẽ tạo hai đối tượng. Đó là điều dễ hiểu. Một …

8 ruby  ruby-1.9.3 

Tôi đã hiểu rằng một cái gì đó như: type GenericExample<T> = T extends (infer U) ? U : 'bar'; bằng: type GenericExample<T> = T extends T ? T : 'bar'; Nhưng khi mọi thứ trở nên phức tạp hơn, TypeScript phàn nàn: type Types = 'text' | 'date' | …

8 typescript  conditional-types 

Tôi có một tập dữ liệu chứa tên biến gạch dưới (_). Chẳng hạn như dưới đây: const data = { m_name: 'my name', m_address: 'my address', p_1_category: 'cat 1', p_1_name: 'name 1', p_2_category: 'cat 2', p_2_name: 'name 2' } Tôi muốn chia chúng thành đối tượng / mảng lồng …

8 javascript  arrays  object  recursion 

Tôi có chương trình lắp ráp sau đây từ phòng thí nghiệm bom nhị phân. Mục tiêu là xác định từ khóa cần thiết để chạy nhị phân mà không kích hoạt explode_bombchức năng. Tôi đã nhận xét phân tích của tôi về lắp ráp cho chương trình này nhưng …

8 c  assembly  x86  reverse-engineering  att 

Trong recursion-schemesgói các loại sau được định nghĩa: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) Chúng có phải là đẳng cấu không? Nếu vậy, làm thế nào để bạn chứng minh điều đó?

8 haskell  recursion-schemes  fixpoint-combinators 

Tôi có một ứng dụng WPF nhỏ có cửa sổ với điều khiển hình ảnh. Kiểm soát hình ảnh hiển thị một hình ảnh từ hệ thống tập tin. Tôi muốn người dùng có thể kéo hình ảnh và thả vào màn hình của nó hoặc bất cứ nơi nào …

8 c#  wpf  drag-and-drop 

Giả sử chúng ta có một tài khoản bảng, có một trường acct_type varchar(2) Insert into account(acct_type) values(888) Đầu ra: +-----------+ | acct_type | +-----------+ | * | +-----------+ Tôi hy vọng nó sẽ đưa ra một lỗi khi chèn kích hoạt câu lệnh. Tại sao nó lưu trữ *giá …

8 sql  sql-server 

Như đã lưu ý trong Lập trình chức năng HOWTO , để tạo một danh sách các bộ dữ liệu bằng cách sử dụng tính năng hiểu danh sách, phải sử dụng dấu ngoặc đơn. Đặc biệt, điều này được thể hiện trong tài liệu trong trích dẫn sau đây. …

8 python  python-3.x