id
type
0 (not classified)
status
21 (imported old-v2, waiting for another import)
review version
0
cleanup version
0
pending deletion
0 (-)
created at
2025-11-30 20:01:32
updated at
2025-11-30 20:01:33
url
http://pl.cs.jhu.edu/pl/lectures/java-principles.html
url length
53
url crc
40841
url crc32
2801966985
location type
1 (url matches target location, page_location is empty)
canonical status
2 (missing canonical tag in html)
canonical page id
-
domain id
domain tld
2295
domain parts
0
originating warc id
-
originating url
https://data.commoncrawl.org/crawl-data/CC-MAIN-2025-33/segments/1754151279927.26/warc/CC-MAIN-20250806232852-20250807022852-00243.warc.gz
source type
11 (CommonCrawl)
server ip
Publication date
2025-08-07 00:43:44
Fetch attempts
0
Original html size
18752
Normalized and saved size
18478
title
Principles of Programming Languages
excerpt
content
Principles Behind Java Java is close to “PSTFbOB” FbOB (objects) plus STFb (subtyping) plus PEFb (the P for polymorphism/generics, and the E for type inference). There are a few cases arising from the interaction of these pieces which are tricky and we will cover. Encoding Typed Objects We encoded FbOB objects with records, but the encoding we gave does not lift perfectly to typed objects. this imposes some additional issues in object typing. Notice that PointType = { x : Int; y : Int; magnitude: PointType -> Int -> Int; ...} should be a proper type for our point object encoding, but notice how PointType is contravariant, it is in the domain of the magnitude method. Consider ColorPointType = { x : Int; y : Int; c : Color; magnitude: ColorPointType -> Int -> Int; ...} – for ColorPointType <: PointType to hold, magnitude subtyping would require ColorPointType -> Int -> Int <: PointType -> Int -&g...
author
updated
2025-12-31 19:25:10
block type
0
extracted fields
104
extracted bits
title
full content
content was extracted heuristically
detected location
0
detected language
1 (English)
category id
230
index version
2025123101
paywall score
0
spam phrases
0
text nonlatin
0
text cyrillic
0
text characters
8698
text words
1788
text unique words
587
text lines
1
text sentences
76
text paragraphs
1
text words per sentence
23
text matched phrases
5
text matched dictionaries
4
links self subdomains
0
links other subdomains
links other domains
7 - gradescope.com, campuswire.com, tutorialspoint.com, kotlinlang.org, templated.co, unsplash.com
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
0
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
0
links ext leaks
0
links ext ugc
1
links ext klim
0
links ext generic
0
status
0
updated
2025-12-31 19:25:10
image author
featured image