Groups
Groups
Sign in
Groups
Groups
byu-cs-330-Fall-2011
Conversations
About
Send feedback
Help
byu-cs-330-Fall-2011
1–30 of 174
Mark all as read
Report group
0 selected
greeland pushome
Jun 11
Buy/Sell/Trade Vookum Luxury Watches/Jewelries
Telegram..@bennydajeweler . Vookum LJ deals with buying, selling and trading of Luxurious Watches and
unread,
Buy/Sell/Trade Vookum Luxury Watches/Jewelries
Telegram..@bennydajeweler . Vookum LJ deals with buying, selling and trading of Luxurious Watches and
Jun 11
greeland pushome
5/22/24
Buy K2 Sheets and K2 Spray (Diablo)
WhatsApp/ Text:: +1(724) 491-7162 Buy K2 Sheets and K2 Spray (Diablo) WhatsApp/ Text:: +1(724) 491-
unread,
Buy K2 Sheets and K2 Spray (Diablo)
WhatsApp/ Text:: +1(724) 491-7162 Buy K2 Sheets and K2 Spray (Diablo) WhatsApp/ Text:: +1(724) 491-
5/22/24
Jay McCarthy
12/19/11
Your final grades are posted
-- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.
unread,
Your final grades are posted
-- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.
12/19/11
Logan Kearsley
,
Jay McCarthy
4
12/17/11
define-type written in JavaScript
Here's an updated version with type-case, too: function defineType(name,subtypes){ var subtype,
unread,
define-type written in JavaScript
Here's an updated version with type-case, too: function defineType(name,subtypes){ var subtype,
12/17/11
Jay McCarthy
12/16/11
Final grades
All grades are now in. You may pick up your final, if you would like to see it, by Jan 10th, after
unread,
Final grades
All grades are now in. You may pick up your final, if you would like to see it, by Jan 10th, after
12/16/11
Dan Haskin
,
Jay McCarthy
2
12/14/11
Question - Point of Doctrine for typei
On Wed, Dec 14, 2011 at 5:48 PM, Dan Haskin <djhas...@gmail.com> wrote: I know that the
unread,
Question - Point of Doctrine for typei
On Wed, Dec 14, 2011 at 5:48 PM, Dan Haskin <djhas...@gmail.com> wrote: I know that the
12/14/11
Dan Haskin
,
Jay McCarthy
2
12/14/11
How should we test generate constraints?
That's what constraint-list=? is for. It can compare lists of constraints modulo renaming On Wed,
unread,
How should we test generate constraints?
That's what constraint-list=? is for. It can compare lists of constraints modulo renaming On Wed,
12/14/11
Logan Kearsley
12/13/11
A fun video on writing real programs in lambda calculus
http://rubymanor.org/3/videos/programming_with_nothing/
unread,
A fun video on writing real programs in lambda calculus
http://rubymanor.org/3/videos/programming_with_nothing/
12/13/11
Jay McCarthy
12/13/11
Re: Exam
Yup On Tue, Dec 13, 2011 at 2:08 PM, Erik Donohoo <erikd...@me.com> wrote: So the final on
unread,
Re: Exam
Yup On Tue, Dec 13, 2011 at 2:08 PM, Erik Donohoo <erikd...@me.com> wrote: So the final on
12/13/11
Ogden Mills
, …
Jay McCarthy
4
12/13/11
Re: Abridged summary of byu-cs-330-fall-2011@googlegroups.com - 2 Messages in 1 Topic
Ah, I think I see, sorry to be a pain. On Mon, Dec 12, 2011 at 11:03 PM, Ogden Mills <scapegoat130
unread,
Re: Abridged summary of byu-cs-330-fall-2011@googlegroups.com - 2 Messages in 1 Topic
Ah, I think I see, sorry to be a pain. On Mon, Dec 12, 2011 at 11:03 PM, Ogden Mills <scapegoat130
12/13/11
Jay McCarthy
, …
Logan Kearsley
4
12/12/11
When you turn in typei again, could you reply to my grade email, so I can compare?
Correct. On Mon, Dec 12, 2011 at 2:26 PM, Logan Kearsley <chrono...@gmail.com> wrote: So,
unread,
When you turn in typei again, could you reply to my grade email, so I can compare?
Correct. On Mon, Dec 12, 2011 at 2:26 PM, Logan Kearsley <chrono...@gmail.com> wrote: So,
12/12/11
Nathan Wonnacott
,
Jay McCarthy
2
12/8/11
id tests for typei
On Thu, Dec 8, 2011 at 5:49 PM, Nathan Wonnacott <nathanw...@gmail.com> wrote: Jay In
unread,
id tests for typei
On Thu, Dec 8, 2011 at 5:49 PM, Nathan Wonnacott <nathanw...@gmail.com> wrote: Jay In
12/8/11
Jay McCarthy
, …
Kevin Harrington
5
12/4/11
typei turn in again will be due when prolog would be
Yup On Sun, Dec 4, 2011 at 3:43 PM, Kevin Harrington <kevintha...@gmail.com> wrote: Do we
unread,
typei turn in again will be due when prolog would be
Yup On Sun, Dec 4, 2011 at 3:43 PM, Kevin Harrington <kevintha...@gmail.com> wrote: Do we
12/4/11
Jay McCarthy
, …
Sterling Williams
7
12/3/11
Re: typei
Alright, everyone should have their grade On Fri, Dec 2, 2011 at 11:33 PM, Jay McCarthy <jay.
unread,
Re: typei
Alright, everyone should have their grade On Fri, Dec 2, 2011 at 11:33 PM, Jay McCarthy <jay.
12/3/11
Jay McCarthy
12/2/11
FYI, I think we'll do typei again. I'll get your grades back sometime today though
-- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.
unread,
FYI, I think we'll do typei again. I'll get your grades back sometime today though
-- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.
12/2/11
Parker J
, …
Jay McCarthy
4
12/1/11
Testing things NOT named infer-type....
No because test should be small and help you find problems. This is why "coverage" tools
unread,
Testing things NOT named infer-type....
No because test should be small and help you find problems. This is why "coverage" tools
12/1/11
Jay McCarthy
, …
Jay McCarthy
7
12/1/11
Fwd: Testing Alpha Vary
Ya, although you can use my constraint-list=? function On Thu, Dec 1, 2011 at 12:31 PM, Wayne Robison
unread,
Fwd: Testing Alpha Vary
Ya, although you can use my constraint-list=? function On Thu, Dec 1, 2011 at 12:31 PM, Wayne Robison
12/1/11
Jay McCarthy
, …
Jay McCarthy
9
12/1/11
Re: 3.20 Type Inference
On Thu, Dec 1, 2011 at 11:42 AM, Wayne Robison <reallybla...@gmail.com> wrote: Jay, In
unread,
Re: 3.20 Type Inference
On Thu, Dec 1, 2011 at 11:42 AM, Wayne Robison <reallybla...@gmail.com> wrote: Jay, In
12/1/11
Sterling Williams
, …
Jay McCarthy
9
12/1/11
generate-constraints
Yes, and just to be clear. The first constraint is because of [1]. The second because of [2]. The
unread,
generate-constraints
Yes, and just to be clear. The first constraint is because of [1]. The second because of [2]. The
12/1/11
Logan Kearsley
,
Jay McCarthy
2
11/30/11
Typing lists of functions
No, it should be a list of (num -> num) Jay On Wed, Nov 30, 2011 at 12:34 PM, Logan Kearsley <
unread,
Typing lists of functions
No, it should be a list of (num -> num) Jay On Wed, Nov 30, 2011 at 12:34 PM, Logan Kearsley <
11/30/11
Alyssa Meservy
,
Jay McCarthy
2
11/29/11
generating constraints for lists
On Tue, Nov 29, 2011 at 4:58 PM, Alyssa Meservy <ames...@gmail.com> wrote: When we're
unread,
generating constraints for lists
On Tue, Nov 29, 2011 at 4:58 PM, Alyssa Meservy <ames...@gmail.com> wrote: When we're
11/29/11
Jay McCarthy
11/29/11
Pictures
-- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.
unread,
Pictures
-- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.
11/29/11
Jay McCarthy
,
Sterling Williams
3
11/29/11
Pictures from last class
Thanks I'll do it right now On Tue, Nov 29, 2011 at 4:10 PM, Sterling Williams <silverownz@
unread,
Pictures from last class
Thanks I'll do it right now On Tue, Nov 29, 2011 at 4:10 PM, Sterling Williams <silverownz@
11/29/11
Derek Manwaring
,
Jay McCarthy
2
11/29/11
Testing Parse
You have to test it the same amount, but that amount is not a lot. "You may assume that the s-
unread,
Testing Parse
You have to test it the same amount, but that amount is not a lot. "You may assume that the s-
11/29/11
Joseph Park
,
Jay McCarthy
2
11/26/11
unification algorithm
Yes Sent from my iPhone On 2011/11/26, at 14:34, Joseph Park <jspar...@gmail.com> wrote: >
unread,
unification algorithm
Yes Sent from my iPhone On 2011/11/26, at 14:34, Joseph Park <jspar...@gmail.com> wrote: >
11/26/11
Joseph Park
,
Jay McCarthy
2
11/26/11
wtypei second question
Lists are homogeneous Sent from my iPhone On 2011/11/26, at 11:56, Joseph Park <jspark2012@gmail.
unread,
wtypei second question
Lists are homogeneous Sent from my iPhone On 2011/11/26, at 11:56, Joseph Park <jspark2012@gmail.
11/26/11
Jay McCarthy
11/23/11
wtypec - Question 1
Many people answered this question wrong because they do not know what the word "variant"
unread,
wtypec - Question 1
Many people answered this question wrong because they do not know what the word "variant"
11/23/11
Ogden Mills
,
Jay McCarthy
2
11/22/11
suggestions for matching (fun...)
The program source code does not contain Types, like (t-num), instead it contains their syntax, like
unread,
suggestions for matching (fun...)
The program source code does not contain Types, like (t-num), instead it contains their syntax, like
11/22/11
Alyssa Meservy
,
Jay McCarthy
2
11/22/11
what's returned from bif
A bif returns just like the ifs we have seen in class. They return their true/false branch and
unread,
what's returned from bif
A bif returns just like the ifs we have seen in class. They return their true/false branch and
11/22/11
Derek Manwaring
,
Jay McCarthy
2
11/22/11
Testing for type-of
What you have is sufficient On Mon, Nov 21, 2011 at 8:48 PM, Derek Manwaring <manwaringsandals@
unread,
Testing for type-of
What you have is sufficient On Mon, Nov 21, 2011 at 8:48 PM, Derek Manwaring <manwaringsandals@
11/22/11