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