TechQA.

Question

Idris: Cannot use functions as applicative functors?

score 28 · Answer 1 · 2023-12-30T20:00:59.167000

0

Answer

28

Views

Idris: Cannot use functions as applicative functors?

28 views Asked by Joris KBos At 30 December 2023 at 20:00

score 152 · Answer 2 · 2023-05-01T15:57:12.093000

Not returning all possible one-step reductions for combinatory expressions

152 views Asked by idkDude At 01 May 2023 at 15:57

score 96 · Answer 3 · 2023-04-03T18:03:14.547000

Combine m-ary function with n-ary function in a single (m+n)-ary function returning the pair of their results

96 views Asked by Enlico At 03 April 2023 at 18:03

score 155 · Answer 4 · 2022-04-20T05:22:17.463000

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

155 views Asked by Emanresu a At 20 April 2022 at 05:22

score 208 · Answer 5 · 2021-06-06T10:42:50.727000

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

208 views Asked by Enlico At 06 June 2021 at 10:42

score 1429 · Answer 6 · 2021-05-31T20:22:31.553000

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

1.4k views Asked by Enlico At 31 May 2021 at 20:22

score 198 · Answer 7 · 2021-01-03T02:44:28.620000

S-K basis Completeness in combinatory logic

198 views Asked by Spook At 03 January 2021 at 02:44

score 377 · Answer 8 · 2020-02-02T20:53:48.850000

Evaluating SKI-combinators with not enough arguments

377 views Asked by A. Burger At 02 February 2020 at 20:53

score 98 · Answer 9 · 2019-01-26T06:58:32.323000

Understanding the eval function used to define combinators and expression (Lambda) in Haskell

98 views Asked by Jung At 26 January 2019 at 06:58

score 234 · Answer 10 · 2019-01-26T03:55:36.567000

Find Haskell functions f, g such that f g = f . g

234 views Asked by Joseph Sible-Reinstate Monica At 26 January 2019 at 03:55

score 307 · Answer 11 · 2019-01-01T15:25:40.530000

Haskell Interpreter for System T Combinator Language

307 views Asked by CMCDragonkai At 01 January 2019 at 15:25

score 317 · Answer 12 · 2018-11-17T08:54:25.633000

SystemT Compiler and dealing with Infinite Types in Haskell

317 views Asked by CMCDragonkai At 17 November 2018 at 08:54

score 174 · Answer 13 · 2018-07-29T09:11:53.403000

How to recursively define a generalized projection function?

174 views Asked by Aadit M Shah At 29 July 2018 at 09:11

score 320 · Answer 14 · 2018-04-30T07:37:21.937000

Express XOR in SKI combinators

320 views Asked by delta At 30 April 2018 at 07:37

score 171 · Answer 15 · 2017-10-31T04:58:34.153000

Type of recursively-typed functions in Ceylon

171 views Asked by AnandA777 At 31 October 2017 at 04:58

score 1108 · Answer 16 · 2016-05-09T15:14:55.773000

Can XOR be expressed using SKI combinators?

1.1k views Asked by CWHsu At 09 May 2016 at 15:14

score 252 · Answer 17 · 2015-01-24T21:43:49.863000

Haskell utility to make function point free

252 views Asked by sof At 24 January 2015 at 21:43

score 1477 · Answer 18 · 2014-11-09T15:37:29.470000

Lambda-Calculus Representation in NLTK CCG

1.4k views Asked by ayyayyekokojambo At 09 November 2014 at 15:37

score 311 · Answer 19 · 2014-09-29T05:58:59.073000

Combinatory logic library for proof assistants?

311 views Asked by user287393 At 29 September 2014 at 05:58

score 693 · Answer 20 · 2014-06-10T22:26:17.440000

Implementing the combinator calculus

693 views Asked by user76284 At 10 June 2014 at 22:26

TechQA.

List Question

Idris: Cannot use functions as applicative functors?

Not returning all possible one-step reductions for combinatory expressions

Combine m-ary function with n-ary function in a single (m+n)-ary function returning the pair of their results

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

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

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

S-K basis Completeness in combinatory logic

Evaluating SKI-combinators with not enough arguments

Understanding the eval function used to define combinators and expression (Lambda) in Haskell

Find Haskell functions f, g such that f g = f . g

Haskell Interpreter for System T Combinator Language

SystemT Compiler and dealing with Infinite Types in Haskell

How to recursively define a generalized projection function?

Express XOR in SKI combinators

Type of recursively-typed functions in Ceylon

Can XOR be expressed using SKI combinators?

Haskell utility to make function point free

Lambda-Calculus Representation in NLTK CCG

Combinatory logic library for proof assistants?

Implementing the combinator calculus

Popular Questions

Trending Questions