language-design

3열

1답변

F #이 확장 유형의 약어로 시스템 유형을 확장하는 것을 지원하지 않는 이유는 무엇입니까? 내가 <code>int</code>이 유형의 실제 이름이 아닌 함께 <code>int</code>을 확장하려고하면 예를 들어

,이 코드는 실패합니다이 type int with member this.IsEven = this % 2 = 0 내가 대신 System.Int32을 사용해야합니다 type System.Int32 with member this.IsEven = this % 2 = 0 //test let i = 20 if i.IsEven then printfn "'

.net casting f# functional-programming language-design 2017-04-07

---

5열

2답변

친구 사이의 Int.MaxValue는 무엇입니까? 스칼라 INT 플로트 길이의

최대 값은 : Int.MaxValue = 2147483647 Float.MaxValue = 3.4028235E38 Long.MaxValue = 9223372036854775807L 스칼라 컴파일러의 저자 인 Keynote, PNW Scala 2013, 슬라이드 16 What's Int.MaxValue between friends? : val x1: Floa

scala jvm language-design 2017-04-26

---

10열

1답변

len()이 큐에 구현되지 않은 이유는 무엇입니까?

내장 된 기능 len() (https://docs.python.org/3/library/functions.html#len는) 반환 "객체의 길이 (항목 수)"을, 그러나 이것은 queue.Queue (https://docs.python.org/3/library/queue.html)에 대해 구현되지 않습니다. queue.Queue은 분명히 길이가있을 때 큐의

python multithreading queue language-design 2017-12-01

---

2열

2답변

is_detected_v를 사용해야하는 일반적인 사용 사례가 있습니까?

다음 은 cppref에서 발췌 : #include <experimental/type_traits> template<class T> using copy_assign_t = decltype(std::declval<T&>() = std::declval<const T&>()); struct Meow { }; using namespace std::exp

c++ standards language-design c++17 typetraits 2017-03-28

---

7열

1답변

YAML 스펙에서 콜론 뒤에 공백을 지정하는 이유는 무엇입니까?

YAML spec 명확하게 상태 : 값 쌍 : 각 키를 표시 ("") 매핑 콜론과 공간을 사용합니다. 그래서이 법적 : foo: bar 하지만이 아니다 : 나는 공간에 대해 불평하는 온라인 많은 사람들을 볼 foo:bar . 나는 그들에게 요점이 있다고 생각한다. 나는 여러 번 나 자신에 의해 화상을 입었다. 왜 공간이 필수입니까? 그것의 뒤에 디자

yaml language-design 2017-02-08

---

5열

1답변

왜 멤버 함수에 대한 포인터를 얻기 위해 주소 연산자를 사용해야합니까?

struct A { void f() {} }; void f() {} int main() { auto p1 = &f; // ok auto p2 = f; // ok auto p3 = &A::f; // ok // // error : call to non-static member functio

c++ function-pointers standards language-design member-function-pointers 2017-02-10

---

1열

1답변

coq와 같이 프로그램의 정확성을 입증하여 메모리 관리 문제를 해결 하시겠습니까?

메모리 관리 문제 (메모리 누수, 매달려있는 포인터, double free() 등)를 해결할 수있는 타입 시스템으로 모든 프로그램의 정확성을 자동으로 증명할 수있는 언어를 구성 할 수 있는지 물어보고 싶었습니다. 통합 coq-like theorever prover과 같은 명제로서의 유형 (증명의 프로그램의 사고 방식에서)? 이 접근 방식에 근본적인 논리적

memory-management programming-languages language-design type-systems proof-of-correctness 2017-12-06

---

3열

2답변

빈 매개 변수가있는 함수를 호출하는 용어

함수형 프로그래밍에서 인수를 허용하는 함수를 호출하기위한 올바른 이름은 무엇입니까? 예를 들어 :는 // 2 types of execute functions type Function = | UnitFunction of (unit -> unit) | OperandFunction of (unit16 -> unit) let nop() =

.net f# functional-programming terminology language-design 2017-04-08

---

3열

1답변

값 클래스가 다른 값 클래스를 래핑 할 수없는 이유는 무엇입니까?

하나의 값 클래스가 다른 값 클래스를 래핑 할 수 없다는 제한이 있습니까? 원하는 것은 분명한 것처럼 보이며, 이점을 클래스 계층 구조로 확장합니다. class B(val x: A) extends AnyVal을 컴파일 타임 전용으로 처리 할 수 ​​있고 뒤에서 A 클래스를 사용하는 경우 class C(val y: B) extends AnyVal이 동일한 작

scala class jvm language-design 2017-09-08

---

3열

1답변

C++ 11은 죽어가는 객체가 인수로 복사되지 않고 이동된다는 것을 보장합니까?

#include <vector> using namespace std; void f(const vector<int>&) {} void f(vector<int>&&) {} int main() { { vector<int> coll; // // coll is dying, so, // "f(coll

c++ c++11 standards move-semantics language-design 2017-02-28

---