Question

Deducing type for overloaded functions - currying

score 887 · Answer 1 · 2013-12-05 23:39:55

887

Views

Deducing type for overloaded functions - currying

Published on 05 December 2013 at 23:39

score 81 · Answer 2 · 2022-04-20 05:22:17

81

Views

Is it possible to create the Y combinator in typescript at type level?

Published on 20 April 2022 at 05:22

score 247 · Answer 3 · 2018-11-17 08:54:25

247

Views

SystemT Compiler and dealing with Infinite Types in Haskell

Published on 17 November 2018 at 08:54

score 759 · Answer 4 · 2012-10-17 22:39:36

759

Views

How to parse string into GADT

Published on 17 October 2012 at 22:39

score 1.3k · Answer 5 · 2021-05-31 20:22:31

1.3k

Views

Does the function monad really offer something more than the function applicative functor? If so, what?

Published on 31 May 2021 at 20:22

score 146 · Answer 6 · 2021-06-06 10:42:50

146

Views

Is there a way to express the function application operator/function with Hana?

Published on 06 June 2021 at 10:42

score 111 · Answer 7 · 2018-07-29 09:11:53

111

Views

How to recursively define a generalized projection function?

Published on 29 July 2018 at 09:11

score 232 · Answer 8 · 2013-10-25 08:16:37

232

Views

define a form as function name?

Published on 25 October 2013 at 08:16

score 1k · Answer 9 · 2016-05-09 15:14:55

1k

Views

Can XOR be expressed using SKI combinators?

Published on 09 May 2016 at 15:14

score 626 · Answer 10 · 2014-06-10 22:26:17

626

Views

Implementing the combinator calculus

Published on 10 June 2014 at 22:26

score 1.3k · Answer 11 · 2014-02-04 19:37:55

1.3k

Views

Implementing Smullyan's arithmetical birds in Haskell

Published on 04 February 2014 at 19:37

score 520 · Answer 12 · 2010-12-25 01:21:22

520

Views

Type inference for a scala combinator calculus data model

Published on 25 December 2010 at 01:21

score 291 · Answer 13 · 2018-04-30 07:37:21

291

Views

Express XOR in SKI combinators

Published on 30 April 2018 at 07:37

score 271 · Answer 14 · 2019-01-01 15:25:40

271

Views

Haskell Interpreter for System T Combinator Language

Published on 01 January 2019 at 15:25

score 310 · Answer 15 · 2020-02-02 20:53:48

310

Views

Evaluating SKI-combinators with not enough arguments

Published on 02 February 2020 at 20:53

score 208 · Answer 16 · 2015-01-24 21:43:49

208

Views

Haskell utility to make function point free

Published on 24 January 2015 at 21:43

score 111 · Answer 17 · 2023-05-01 15:57:12

111

Views

Not returning all possible one-step reductions for combinatory expressions

Published on 01 May 2023 at 15:57

score 160 · Answer 18 · 2021-01-03 02:44:28

160

Views

S-K basis Completeness in combinatory logic

Published on 03 January 2021 at 02:44

score 2.5k · Answer 19 · 2013-05-24 19:10:13

2.5k

Views

Equivalent to Ruby's #tap method in Scala

Published on 24 May 2013 at 19:10

score 145 · Answer 20 · 2017-10-31 04:58:34

145

Views

Type of recursively-typed functions in Ceylon

Published on 31 October 2017 at 04:58

List Question

Deducing type for overloaded functions - currying

Is it possible to create the Y combinator in typescript at type level?

SystemT Compiler and dealing with Infinite Types in Haskell

How to parse string into GADT

Does the function monad really offer something more than the function applicative functor? If so, what?

Is there a way to express the function application operator/function with Hana?

How to recursively define a generalized projection function?

define a form as function name?

Can XOR be expressed using SKI combinators?

Implementing the combinator calculus

Implementing Smullyan's arithmetical birds in Haskell

Type inference for a scala combinator calculus data model

Express XOR in SKI combinators

Haskell Interpreter for System T Combinator Language

Evaluating SKI-combinators with not enough arguments

Haskell utility to make function point free

Not returning all possible one-step reductions for combinatory expressions

S-K basis Completeness in combinatory logic

Equivalent to Ruby's #tap method in Scala

Type of recursively-typed functions in Ceylon

Trending Questions

Popular # Hahtags

Popular Questions