List Question
10 TechQA 2025-01-05 14:04:20Deducing type for overloaded functions - currying
920 views
Asked by user2485710
Is it possible to create the Y combinator in typescript at type level?
105 views
Asked by Emanresu a
SystemT Compiler and dealing with Infinite Types in Haskell
272 views
Asked by CMCDragonkai
How to parse string into GADT
785 views
Asked by Eyal
Does the function monad really offer something more than the function applicative functor? If so, what?
1.3k views
Asked by Enlico
Is there a way to express the function application operator/function with Hana?
172 views
Asked by Enlico
How to recursively define a generalized projection function?
136 views
Asked by Aadit M Shah
define a form as function name?
262 views
Asked by Jiaji
Can XOR be expressed using SKI combinators?
1k views
Asked by CWHsu
Implementing the combinator calculus
654 views
Asked by user76284