TechQA.

Question

Parameterised datatype as a module parameter?

score 37 · Answer 1 · 2024-03-11T20:17:47.843000

0

Answer

37

Views

Parameterised datatype as a module parameter?

37 views Asked by Philip Wadler At 11 March 2024 at 20:17

score 41 · Answer 2 · 2024-01-10T19:18:48.063000

Properties of < on unary numbers in Dafny

41 views Asked by Tato At 10 January 2024 at 19:18

score 134 · Answer 3 · 2023-11-05T14:31:45.430000

How to list all values of sum type in Haskell

134 views Asked by Shawn Zhang At 05 November 2023 at 14:31

score 48 · Answer 4 · 2023-11-02T19:16:03.353000

long arithmetic in C

48 views Asked by user22712878 At 02 November 2023 at 19:16

score 91 · Answer 5 · 2023-10-10T22:40:06.260000

Haskell Error: Expected kind ‘* -> ’, but ‘Movie’ has kind ‘’

91 views Asked by EvilROMA At 10 October 2023 at 22:40

score 356 · Answer 6 · 2023-08-05T15:35:34.227000

C# union/sum types and product/intersection types

356 views Asked by Tooster At 05 August 2023 at 15:35

score 66 · Answer 7 · 2023-06-28T14:59:09.470000

How can I create a union type that can also be used to instantiate union members in Python?

66 views Asked by Miguel Guthridge At 28 June 2023 at 14:59

score 27 · Answer 8 · 2023-06-12T01:19:19.053000

z3py: How to prevent accessor call on custom data type when a differen constructor is used?

27 views Asked by shilomig At 12 June 2023 at 01:19

score 45 · Answer 9 · 2023-03-15T13:22:38.167000

How to correctly implement a polymorphic functional Tree data structure in Scala?

45 views Asked by Matei At 15 March 2023 at 13:22

score 64 · Answer 10 · 2023-03-09T19:05:06.307000

How to make the subclass arguments available in the abstract class for pattern matching in scala?

64 views Asked by figs_and_nuts At 09 March 2023 at 19:05

score 91 · Answer 11 · 2023-01-30T07:53:46.780000

scala Does match end in Nil?

91 views Asked by Moeda Chaos At 30 January 2023 at 07:53

score 223 · Answer 12 · 2023-01-25T15:58:19.803000

Using Python DAE solver for coupled equations in time and space

223 views Asked by ellekalle At 25 January 2023 at 15:58

score 99 · Answer 13 · 2023-01-24T01:23:26.050000

Typing based on subsets of unions in TypeScript

99 views Asked by Ola Næss Kaldestad At 24 January 2023 at 01:23

score 54 · Answer 14 · 2023-01-16T19:14:17.263000

Elegant way to do associated "data items"

54 views Asked by gust At 16 January 2023 at 19:14

score 95 · Answer 15 · 2022-12-19T05:41:11.913000

Access values from top level model

95 views Asked by Bond007 At 19 December 2022 at 05:41

score 63 · Answer 16 · 2022-12-15T13:23:35.523000

Calculate Price of items in a list

63 views Asked by RLP At 15 December 2022 at 13:23

score 137 · Answer 17 · 2022-12-15T11:46:52.083000

Algebraic data type list into an actual list

137 views Asked by RLP At 15 December 2022 at 11:46

score 123 · Answer 18 · 2022-12-13T14:34:45.927000

construct a chain using algebraic data type

123 views Asked by Daniel12 At 13 December 2022 at 14:34

score 101 · Answer 19 · 2022-12-08T14:46:15.050000

haskell sorting list of custom datatypes based on common atributes without usingf modules

101 views Asked by Gabriel Brito de França At 08 December 2022 at 14:46

score 186 · Answer 20 · 2022-11-25T14:22:15.970000

Spark CaseWhen as Map with ADTs

186 views Asked by Fragan At 25 November 2022 at 14:22

TechQA.

List Question

Parameterised datatype as a module parameter?

Properties of < on unary numbers in Dafny

How to list all values of sum type in Haskell

long arithmetic in C

Haskell Error: Expected kind ‘* -> ’, but ‘Movie’ has kind ‘’

C# union/sum types and product/intersection types

How can I create a union type that can also be used to instantiate union members in Python?

z3py: How to prevent accessor call on custom data type when a differen constructor is used?

How to correctly implement a polymorphic functional Tree data structure in Scala?

How to make the subclass arguments available in the abstract class for pattern matching in scala?

scala Does match end in Nil?

Using Python DAE solver for coupled equations in time and space

Typing based on subsets of unions in TypeScript

Elegant way to do associated "data items"

Access values from top level model

Calculate Price of items in a list

Algebraic data type list into an actual list

construct a chain using algebraic data type

haskell sorting list of custom datatypes based on common atributes without usingf modules

Spark CaseWhen as Map with ADTs

Popular Questions

Trending Questions