What is the most easy way to get in advanced Type Theory.

Posted by Bubba88 on Stack Overflow See other posts from Stack Overflow or by Bubba88
Published on 2010-05-11T16:48:58Z Indexed on 2010/05/11 16:54 UTC
Read the original article Hit count: 291

Filed under:

type-theory

|

learn

|

tutorials

|

computer-science

Of course, by 'advanced' I mean here just something beyond what every programmer does know. I'm currently more-or-less comfortable with the basics and want to understand the most important, most elegant and most practically applicable achievements of modern type theory.

I just do not have much time, desire and mental powers to study all the formalistics more thoroughly and that may change in the future. But there is something really attractive for me in that branch, that just forces to ask silly questions like this :)

Thank you very much!

© Stack Overflow or respective owner

Related posts about type-theory

What is the most easy way to get in advanced Type Theory.

as seen on Stack Overflow - Search for 'Stack Overflow'
Of course, by 'advanced' I mean here just something beyond what every programmer does know. I'm currently more-or-less comfortable with the basics and want to understand the most important, most elegant and most practically applicable achievements of modern type theory. I just do not have much time… >>> More
What type of lambda calculus would Lisp loosely be an example of?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to get a better grip on how types come into play in lambda calculus. Admittedly, a lot of the type theory stuff is over my head. Lisp is a dynamically typed language, would that roughly correspond to untyped lambda calculus? Or is there some kind of "dynamically typed lambda calculus"… >>> More
A question about logic and Curry-Howard correspondence.

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi. Could you please explain me what is the basic connection between the fundamentals of logical programming and the phenomenum of syntatic similarity between type systems and conventional logic? >>> More
What can Haskell's type system do that Java's can't?

as seen on Programmers - Search for 'Programmers'
I was talking to a friend about the differences between the type systems of Haskell and Java. He asked me what Haskell's could do that Java's couldn't, and I realized that I didn't know. After thinking for a while, I came up with a very short list of minor differences. Not being heavy into type… >>> More
What can Haskell's type system do that Java's can't and vice versa?

as seen on Programmers - Search for 'Programmers'
I was talking to a friend about the differences between the type systems of Haskell and Java. He asked me what Haskell's could do that Java's couldn't, and I realized that I didn't know. After thinking for a while, I came up with a very short list of minor differences. Not being heavy into type… >>> More

Related posts about learn

Don’t learn SSDT, learn about your databases instead

as seen on SQL Blog - Search for 'SQL Blog'
Last Thursday I presented my session “Introduction to SSDT” at the SQL Supper event held at the offices of 7 Digital (loved the samosas, guys). I did my usual spiel, tour of the IDE, connected development, declarative database development yadda yadda yadda… and at the end asked if there were any questions… >>> More
Learn to Take a Punch, Learn to Counter, Keep Moving Forward

as seen on Geeks with Blogs - Search for 'Geeks with Blogs'
Originally posted on: http://geekswithblogs.net/dlussier/archive/2013/10/28/154483.aspxDuring a boxing workout a few months ago our trainer had us do something called “breadbaskets”. That’s where you hold your arms up and a partner punches you in your midsection – your breadbasket. I put my arms… >>> More
Book Review: The Art of XSD - SQL Server XML schemas

as seen on Simple Talk - Search for 'Simple Talk'
The 14 chapters of "The Art of XSD”, written by MVP Jacob Sebastian, will take the reader step-by–step all the way from the basics of XML Schema design all the way to advanced topics on SQL Server XML Schema Collections. Reviewer Hima Bindu Vejella gives it an 8/10 rating, and gives us an excellent… >>> More
Operator of the Week - Spools, Eager Spool

as seen on Simple Talk - Search for 'Simple Talk'
For the fifth part of Fabiano's mission to describe the major Showplan Operators used by SQL Server's Query Optimiser, he introduces the spool operators and particularly the Eager Spool, explains blocking and non-blocking and then describes how the Halloween Problem is avoided. >>> More
Showplan Operator of the Week - Lazy Spool

as seen on Simple Talk - Search for 'Simple Talk'
Continuing to illuminate the depths of SQL Server's Query Optimizer, Fabiano shines a light on the sixth major Showplan Operator on his list: the Lazy Spool. What does the Lazy Spool do that's so special, how does the Query Optimizer use it, and why is it so Lazy? Fabiano explains all... >>> More