英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

ISWIM    
(If You See What I Mean) An influential but
unimplemented computer programming language described in the
article by {Peter J. Landin} cited below. Landin attempted to
capture all known programming language concepts, including
{assignment} and control operators such as {goto} and
{coroutines}, within a single {lambda calculus} based
framework.

ISWIM is an {imperative language} with a functional core,
consisting of {sugared} {lambda calculus} plus {mutable
variables} and {assignment}. A powerful control mechanism,
Landin's {J operator}, enables capture of the current
{continuation} (the {call/cc} operator of {Scheme} is a
simplified version). Being based on lambda calculus ISWIM had
{higher order functions} and {lexically scoped} variables.

The {operational semantics} of ISWIM are defined using
Landin's {SECD machine} and use {call-by-value} ({eager
evaluation}). To make ISWIM look more like mathematical
notation, Landin replaced {ALGOL}'s semicolons and begin end
blocks with the {off-side rule} and scoping based on
indentation.

An ISWIM program is a single {expression} qualified by "where"
clauses (auxiliary definitions including equations among
variables), conditional expressions and function definitions.
With {CPL}, ISWIM was one of the first programming languages
to use "where" clauses.

New {data types} could be defined as a (possibly recursive)
{sum of products} like the {algebraic data types} found in
modern functional languages. ISWIM variables were probably
{dynamically typed} but Landin may have planned some form of
{type inference}.

Concepts from ISWIM appear in Art Evan's {PAL} and John
Reynold's {Gedanken}, Milner's {ML} and purely functional
languages with lazy evaluation like {SASL}, {Miranda} and
{Haskell}.

[{"The Next 700 Programming Languages"
(http://www.cs.utah.edu/~wilson/compilers/old/papers/p157-landin.pdf)},
P.J. Landin, CACM 9(3):157-166, Mar 1966].

(2007-03-20)


请选择你想看的字典辞典：
单词字典翻译
ISWIM查看　ISWIM　在百度字典中的解释百度英翻中〔查看〕
ISWIM查看　ISWIM　在Google字典中的解释Google英翻中〔查看〕
ISWIM查看　ISWIM　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Karpathy: Self-driving as a case study for AGI - Tesla Motors Club
    Karpathy wrote an interesting blog on how self-driving can be an early case study into AGI: What I would like to suggest in this post is that recent developments in our ability to automate driving is a very good early case study of the societal dynamics of increasing automation, and by
  • Reaction to Andrej Karpathy on the Removal of Ultrasonic Sensors and . . .
    We react to the @Lex Fridman podcast interview with Andrej Karpathy, the former Sr Director of AI at Tesla, wherein Andrej explains why Tesla removed radar and ultrasonic sensors from its vehicles This is a clip from Tesla Motors Club Podcast #25: You can watch Lex's interview of Andrej
  • Karpathy Talk on using PyTorch to develop FSD and Smart Summon
    Hear from Andrej Karpathy on how Tesla is using PyTorch to develop full self-driving capabilities for its vehicles, including AutoPilot and Smart Summon I hope you find this video informative Reactions: strangecosmos2 , pilotSteve , Enginerd and 3 others
  • Andrej Karpathy - AI for Full-Self Driving (2020) - Tesla Motors Club
    "Hear from Andrej Karpathy on how Tesla is using PyTorch to develop full self-driving capabilities for its vehicles, including AutoPilot and Smart Summon " or DataBrick Sparks AI conference (Sparks is an analytics software)
  • Interview with Andrej Karpathy about AI, autonomy, and Tesla
    It's a good interview Karpathy interviews are always good Although I already knew most of what they discussed, so there was not a ton of new info I like Karpathy He is smart and knowledgeable He makes ML interesting And he always does good interviews One thing that I especially like about Karpathy is that he is a "true scientist"
  • Andrej Karpathy is leaving Tesla. Bad news for FSD - Tesla Motors Club
    Andrej Karpathy, senior director in charge of AI and computer vision at Tesla, announced that he is leaving the automaker It is a big loss for Tesla’s Autopilot team and self-driving effort apple news
  • Andrej Karpathy - AI for Full-Self Driving (2020) | Page 2 | Tesla . . .
    Tesla is able to collect data on mostly all variations of stop signs, with and without occlusions When Karpathy says they are hard, I think that says more about how aware Tesla is of the problems L5 cars face than it indicates that they are bad at solving it You can't test against edge cases (simulated or otherwise) unless you know about them
  • Andrej Karpathy - AI for Full-Self Driving (2020) | Page 8 | Tesla . . .
    Given what Karpathy showed us, I would not fully trust old Autopilot to navigate unmarked intersections without the improved bird's eye view the rewrite provides diamond g Active Member
  • Andrej Karpathy | Tesla Motors Club
    @karpathy: Yes in NLP humans did the hard work of compression into discrete tokens In vision the pixels are extra plentiful, raw (uncompressed), and also have a lot more distracting entropy - e g structure in clouds, trees, etc Could simulate it in NLP by sprinkling in 10X random tokens
  • Andrej Karpathy - AI for Full-Self Driving (2020) | Page 6 | Tesla . . .
    Karpathy even alludes to this in the presentation when he says that Waymo could do the turns a decade ago because they could trace a centimetre level accurate path for the car to take when turning at an intersection, whereas Tesla is still working on that path finding with vision only





中文字典-英文字典  2005-2009