DEVHIDE
Login Or Sign up

List Question

20
924
Views

Deducing type for overloaded functions - currying

Published on
#c++ #templates #c++11 #currying #combinatory-logic
110
Views

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

Published on
#typescript #types #combinatory-logic
275
Views

SystemT Compiler and dealing with Infinite Types in Haskell

Published on
#haskell #ocaml #lambda-calculus #combinatory-logic
789
Views

How to parse string into GADT

Published on
#haskell #parsec #gadt #combinatory-logic
1.3k
Views

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

Published on
#haskell #functional-programming #monads #applicative #combinatory-logic
176
Views

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

Published on
#c++ #haskell #functional-programming #boost-hana #combinatory-logic
139
Views

How to recursively define a generalized projection function?

Published on
#javascript #recursion #functional-programming #combinatory-logic
267
Views

define a form as function name?

Published on
#function #scheme #definition #combinators #combinatory-logic
1k
Views

Can XOR be expressed using SKI combinators?

Published on
#boolean #logic #lambda-calculus #combinators #combinatory-logic
658
Views

Implementing the combinator calculus

Published on
#functional-programming #binary-tree #interpreter #combinators #combinatory-logic
1.3k
Views

Implementing Smullyan's arithmetical birds in Haskell

Published on
#haskell #combinators #combinatory-logic
526
Views

Type inference for a scala combinator calculus data model

Published on
#scala #type-inference #implicit #combinatory-logic
300
Views

Express XOR in SKI combinators

Published on
#haskell #combinatory-logic
280
Views

Haskell Interpreter for System T Combinator Language

Published on
#haskell #ocaml #interpreter #lambda-calculus #combinatory-logic
341
Views

Evaluating SKI-combinators with not enough arguments

Published on
#lambda-calculus #combinators #combinatory-logic #k-combinator #s-combinator
216
Views

Haskell utility to make function point free

Published on
#haskell #lambda-calculus #pointfree #combinatory-logic
118
Views

Not returning all possible one-step reductions for combinatory expressions

Published on
#haskell #lambda-calculus #combinatory-logic
168
Views

S-K basis Completeness in combinatory logic

Published on
#lambda-calculus #combinatory-logic
2.6k
Views

Equivalent to Ruby's #tap method in Scala

Published on
#scala #combinatory-logic
154
Views

Type of recursively-typed functions in Ceylon

Published on
#functional-programming #higher-order-functions #lambda-calculus #ceylon #combinatory-logic

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json python-3.x ruby-on-rails .net sql-server swift django angular objective-c pandas excel

Popular Questions

Copyright © 2021 Jogjafile Inc.