DEVHIDE
Login Or Sign up

List Question

20
938
Views

Deducing type for overloaded functions - currying

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

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

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

SystemT Compiler and dealing with Infinite Types in Haskell

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

How to parse string into GADT

Published on
#haskell #parsec #gadt #combinatory-logic
1.4k
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
182
Views

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

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

How to recursively define a generalized projection function?

Published on
#javascript #recursion #functional-programming #combinatory-logic
274
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
663
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
531
Views

Type inference for a scala combinator calculus data model

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

Express XOR in SKI combinators

Published on
#haskell #combinatory-logic
284
Views

Haskell Interpreter for System T Combinator Language

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

Evaluating SKI-combinators with not enough arguments

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

Haskell utility to make function point free

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

Not returning all possible one-step reductions for combinatory expressions

Published on
#haskell #lambda-calculus #combinatory-logic
173
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
158
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.