「ラムダ計算って何だっけ？」 うおぉおおぉぉおおお〜！ #fp_matsuri #fp_matsuri_c #lambda_calculus

If you are curious about lambda calculus, its definition, concepts, usage, and its relation to functional programming, I highly recommend reading this fantastic article from `Mary Paskhaver` in Medium. Thanks, Mary. #functional_programming #lambda_calculus medium.com/geekculture/us…

Lazy evaluation and nested thunks eating up memory - Visit programmatic.solutions/ln91qx/lazy-ev… for the solution. #haskell #lazy_evaluation #lambda_calculus #programming #datascience

What is the contribution of lambda calculus to the field of theory of computation? - Visit programmatic.solutions/jovp6l/what-is… for the answer. #soft_question #big_picture #lambda_calculus #ho_history_overview #cstheory

Is it possible to create a "quote" function that, given a native -term, returns its -encoded representation? - Visit programmatic.solutions/p2d20e/is-it-p… for the answer. #type_theory #lambda_calculus #cstheory #informationtechnology #computerscience

Resources (books, etc) to learn about concurrency theory - Visit programmatic.solutions/isjgcs/resourc… for the solution. #lambda_calculus #concurrency #process_algebra #petri_nets #cstheory

What is the difference between arrows and exponential objects in a cartesian closed category? - Visit programmatic.solutions/pb1n0c/what-is… for the answer. #type_theory #lambda_calculus #ct_category_theory #cstheory #datascience

Link between lambda calculus and lambda expressions in C++ - Visit programmatic.solutions/m04hnf/link-be… for the solution. #cpp #lambda #lambda_calculus #programming #developers

Why is lambda calculus a "calculus"? - Visit programmatic.solutions/356gz6/why-is-… for the answer. #terminology #lambda_calculus #cstheory #tech #programmer

Recursive lambda calculus function - Visit programmatic.solutions/hnd3jr/recursi… for the solution. #recursion #functional_programming #lambda_calculus #y_combinator #programming

Is a CEK machine an implementation of a CESK machine? - Visit programmatic.solutions/91c651/is-a-ce… for the answer. #lambda_calculus #cstheory #engineer #computer #software

Fixed points of fixed-point combinator? - Visit programmatic.solutions/x9yvke/fixed-p… for the answer. #lambda_calculus #fixed_points #cstheory #engineering #100daysofcode

Commutativity of addition in polymorphic lambda calculus - Visit programmatic.solutions/5omx64/commuta… for the solution. #lambda_calculus #type_systems #polymorphism #typed_lambda_calculus #cstheory

funsplit and polarity of Pi-types - Visit programmatic.solutions/08we02/funspli… for the solution. #lo_logic #type_theory #lambda_calculus #proof_theory #cstheory

What's the expressive/compressive power of strongly normalizing subset of untyped lambda calculus? - Visit programmatic.solutions/1pc1vq/whats-t… for the answer. #lo_logic #lambda_calculus #cstheory #developer #developerlife

What is the benefit of Krivine's notation? - Visit programmatic.solutions/bfzwtc/what-is… for the answer. #lo_logic #lambda_calculus #cstheory #softwareengineer #technology

Constructing terms of function types out of the empty type - Visit programmatic.solutions/6x3udf/constru… for the solution. #type_theory #lambda_calculus #function #cstheory #peoplewhocode